0 Prolog
↳1 PrologToPrologProblemTransformerProof (⇒, 384 ms)
↳2 Prolog
↳3 PrologToPiTRSProof (⇒, 149 ms)
↳4 PiTRS
↳5 DependencyPairsProof (⇔, 278 ms)
↳6 PiDP
↳7 DependencyGraphProof (⇔, 0 ms)
↳8 AND
↳9 PiDP
↳10 UsableRulesProof (⇔, 9 ms)
↳11 PiDP
↳12 PiDPToQDPProof (⇒, 35 ms)
↳13 QDP
↳14 QDPSizeChangeProof (⇔, 0 ms)
↳15 YES
↳16 PiDP
↳17 UsableRulesProof (⇔, 0 ms)
↳18 PiDP
↳19 PiDPToQDPProof (⇒, 0 ms)
↳20 QDP
↳21 QDPSizeChangeProof (⇔, 0 ms)
↳22 YES
balanceD_in_ga(nil, nil) → balanceD_out_ga(nil, nil)
balanceD_in_ga(tree(T20, T21, T22), tree(T28, T29, T31)) → U10_ga(T20, T21, T22, T28, T29, T31, balance55C_in_gaaaaaaaaaaaaga(T20, X120, X121, X115, X116, X117, X118, T28, T27, T29, T30, T31, T26, T21, X119))
balance55C_in_gaaaaaaaaaaaaga(nil, X219, .(','(nil, -(X221, X221)), X222), X221, X222, .(','(T103, -(.(T109, T110), .(T105, T106))), .(','(T107, -(T106, [])), T108)), T108, T103, .(T109, T110), T105, T106, T107, T108, T109, T110) → balance55C_out_gaaaaaaaaaaaaga(nil, X219, .(','(nil, -(X221, X221)), X222), X221, X222, .(','(T103, -(.(T109, T110), .(T105, T106))), .(','(T107, -(T106, [])), T108)), T108, T103, .(T109, T110), T105, T106, T107, T108, T109, T110)
balance55C_in_gaaaaaaaaaaaaga(tree(T139, T140, T141), X303, X304, X305, X306, X307, X308, tree(T157, T158, T160), T154, T161, T156, T155, .(','(T157, -(T154, .(T158, T159))), .(','(T160, -(T159, .(T161, T156))), T153)), T152, X309) → U7_gaaaaaaaaaaaaga(T139, T140, T141, X303, X304, X305, X306, X307, X308, T157, T158, T160, T154, T161, T156, T155, T159, T153, T152, X309, balance55A_in_gaaaaaaaaaga(T139, X303, X304, X298, X299, X300, X301, .(','(T155, -(T156, [])), .(','(T157, -(T154, .(T158, T159))), .(','(T160, -(T159, .(T161, T156))), T153))), T153, T154, T140, X302))
balance55A_in_gaaaaaaaaaga(nil, T267, .(','(nil, -(T269, T269)), T270), T269, T270, T271, T272, T271, T272, .(T274, T275), T274, T275) → balance55A_out_gaaaaaaaaaga(nil, T267, .(','(nil, -(T269, T269)), T270), T269, T270, T271, T272, T271, T272, .(T274, T275), T274, T275)
balance55A_in_gaaaaaaaaaga(tree(T306, T307, T308), T321, T322, X477, X478, X479, X480, .(','(tree(T311, T312, T313), -(T314, T315)), T323), .(','(T311, -(T314, .(T312, T317))), .(','(T313, -(T317, T315)), T324)), T325, T320, X481) → U1_gaaaaaaaaaga(T306, T307, T308, T321, T322, X477, X478, X479, X480, T311, T312, T313, T314, T315, T323, T317, T324, T325, T320, X481, balance55A_in_gaaaaaaaaaga(T306, T321, T322, X472, X473, X474, X475, T323, T324, T325, T307, X476))
balance55A_in_gaaaaaaaaaga(tree(T306, T307, T308), T321, T322, X477, X478, X479, X480, .(','(tree(T311, T312, T313), -(T314, T315)), T323), .(','(T311, -(T314, .(T312, T317))), .(','(T313, -(T317, T315)), T324)), T325, T320, X481) → U2_gaaaaaaaaaga(T306, T307, T308, T321, T322, X477, X478, X479, X480, T311, T312, T313, T314, T315, T323, T317, T324, T325, T320, X481, balance55A_in_gaaaaaaaaaga(T306, T321, T322, T344, T345, T346, T347, T323, T324, T325, T307, T348))
U2_gaaaaaaaaaga(T306, T307, T308, T321, T322, X477, X478, X479, X480, T311, T312, T313, T314, T315, T323, T317, T324, T325, T320, X481, balance55A_out_gaaaaaaaaaga(T306, T321, T322, T344, T345, T346, T347, T323, T324, T325, T307, T348)) → U3_gaaaaaaaaaga(T306, T307, T308, T321, T322, X477, X478, X479, X480, T311, T312, T313, T314, T315, T323, T317, T324, T325, T320, X481, balance55A_in_gaaaaaaaaaga(T308, T344, T345, X477, X478, X479, X480, T346, T347, T348, T320, X481))
U3_gaaaaaaaaaga(T306, T307, T308, T321, T322, X477, X478, X479, X480, T311, T312, T313, T314, T315, T323, T317, T324, T325, T320, X481, balance55A_out_gaaaaaaaaaga(T308, T344, T345, X477, X478, X479, X480, T346, T347, T348, T320, X481)) → balance55A_out_gaaaaaaaaaga(tree(T306, T307, T308), T321, T322, X477, X478, X479, X480, .(','(tree(T311, T312, T313), -(T314, T315)), T323), .(','(T311, -(T314, .(T312, T317))), .(','(T313, -(T317, T315)), T324)), T325, T320, X481)
U1_gaaaaaaaaaga(T306, T307, T308, T321, T322, X477, X478, X479, X480, T311, T312, T313, T314, T315, T323, T317, T324, T325, T320, X481, balance55A_out_gaaaaaaaaaga(T306, T321, T322, X472, X473, X474, X475, T323, T324, T325, T307, X476)) → balance55A_out_gaaaaaaaaaga(tree(T306, T307, T308), T321, T322, X477, X478, X479, X480, .(','(tree(T311, T312, T313), -(T314, T315)), T323), .(','(T311, -(T314, .(T312, T317))), .(','(T313, -(T317, T315)), T324)), T325, T320, X481)
U7_gaaaaaaaaaaaaga(T139, T140, T141, X303, X304, X305, X306, X307, X308, T157, T158, T160, T154, T161, T156, T155, T159, T153, T152, X309, balance55A_out_gaaaaaaaaaga(T139, X303, X304, X298, X299, X300, X301, .(','(T155, -(T156, [])), .(','(T157, -(T154, .(T158, T159))), .(','(T160, -(T159, .(T161, T156))), T153))), T153, T154, T140, X302)) → balance55C_out_gaaaaaaaaaaaaga(tree(T139, T140, T141), X303, X304, X305, X306, X307, X308, tree(T157, T158, T160), T154, T161, T156, T155, .(','(T157, -(T154, .(T158, T159))), .(','(T160, -(T159, .(T161, T156))), T153)), T152, X309)
balance55C_in_gaaaaaaaaaaaaga(tree(T139, T140, T141), T184, T185, X305, X306, X307, X308, tree(T157, T158, T160), T154, T161, T156, T155, .(','(T157, -(T154, .(T158, T159))), .(','(T160, -(T159, .(T161, T156))), T153)), T152, X309) → U8_gaaaaaaaaaaaaga(T139, T140, T141, T184, T185, X305, X306, X307, X308, T157, T158, T160, T154, T161, T156, T155, T159, T153, T152, X309, balance55A_in_gaaaaaaaaaga(T139, T184, T185, T186, T187, T188, T189, .(','(T155, -(T156, [])), .(','(T157, -(T154, .(T158, T159))), .(','(T160, -(T159, .(T161, T156))), T153))), T153, T154, T140, T190))
U8_gaaaaaaaaaaaaga(T139, T140, T141, T184, T185, X305, X306, X307, X308, T157, T158, T160, T154, T161, T156, T155, T159, T153, T152, X309, balance55A_out_gaaaaaaaaaga(T139, T184, T185, T186, T187, T188, T189, .(','(T155, -(T156, [])), .(','(T157, -(T154, .(T158, T159))), .(','(T160, -(T159, .(T161, T156))), T153))), T153, T154, T140, T190)) → U9_gaaaaaaaaaaaaga(T139, T140, T141, T184, T185, X305, X306, X307, X308, T157, T158, T160, T154, T161, T156, T155, T159, T153, T152, X309, balance55A_in_gaaaaaaaaaga(T141, T186, T187, X305, X306, X307, X308, T188, T189, T190, T152, X309))
U9_gaaaaaaaaaaaaga(T139, T140, T141, T184, T185, X305, X306, X307, X308, T157, T158, T160, T154, T161, T156, T155, T159, T153, T152, X309, balance55A_out_gaaaaaaaaaga(T141, T186, T187, X305, X306, X307, X308, T188, T189, T190, T152, X309)) → balance55C_out_gaaaaaaaaaaaaga(tree(T139, T140, T141), T184, T185, X305, X306, X307, X308, tree(T157, T158, T160), T154, T161, T156, T155, .(','(T157, -(T154, .(T158, T159))), .(','(T160, -(T159, .(T161, T156))), T153)), T152, X309)
U10_ga(T20, T21, T22, T28, T29, T31, balance55C_out_gaaaaaaaaaaaaga(T20, X120, X121, X115, X116, X117, X118, T28, T27, T29, T30, T31, T26, T21, X119)) → balanceD_out_ga(tree(T20, T21, T22), tree(T28, T29, T31))
balanceD_in_ga(tree(T20, T21, T22), tree(T28, T29, T31)) → U11_ga(T20, T21, T22, T28, T29, T31, balance55C_in_gaaaaaaaaaaaaga(T20, T48, T49, T50, T51, T52, T53, T28, T27, T29, T30, T31, T26, T21, T54))
U11_ga(T20, T21, T22, T28, T29, T31, balance55C_out_gaaaaaaaaaaaaga(T20, T48, T49, T50, T51, T52, T53, T28, T27, T29, T30, T31, T26, T21, T54)) → U12_ga(T20, T21, T22, T28, T29, T31, balance55B_in_gaaaaaaa(T22, T50, T51, T48, T49, T52, T53, T54))
balance55B_in_gaaaaaaa(nil, T415, [], T417, T418, .(','(nil, -(T417, T417)), T418), [], []) → balance55B_out_gaaaaaaa(nil, T415, [], T417, T418, .(','(nil, -(T417, T417)), T418), [], [])
balance55B_in_gaaaaaaa(tree(T452, T453, T454), T468, T469, T474, T473, .(','(tree(T459, T460, T461), -(T462, T463)), T470), .(','(T459, -(T462, .(T460, T465))), .(','(T461, -(T465, T463)), T471)), T472) → U4_gaaaaaaa(T452, T453, T454, T468, T469, T474, T473, T459, T460, T461, T462, T463, T470, T465, T471, T472, balance55A_in_gaaaaaaaaaga(T452, T468, T469, X618, X619, X620, X621, T470, T471, T472, T453, X622))
U4_gaaaaaaa(T452, T453, T454, T468, T469, T474, T473, T459, T460, T461, T462, T463, T470, T465, T471, T472, balance55A_out_gaaaaaaaaaga(T452, T468, T469, X618, X619, X620, X621, T470, T471, T472, T453, X622)) → balance55B_out_gaaaaaaa(tree(T452, T453, T454), T468, T469, T474, T473, .(','(tree(T459, T460, T461), -(T462, T463)), T470), .(','(T459, -(T462, .(T460, T465))), .(','(T461, -(T465, T463)), T471)), T472)
balance55B_in_gaaaaaaa(tree(T452, T453, T454), T468, T469, T498, T499, .(','(tree(T459, T460, T461), -(T462, T463)), T470), .(','(T459, -(T462, .(T460, T465))), .(','(T461, -(T465, T463)), T471)), T472) → U5_gaaaaaaa(T452, T453, T454, T468, T469, T498, T499, T459, T460, T461, T462, T463, T470, T465, T471, T472, balance55A_in_gaaaaaaaaaga(T452, T468, T469, T493, T494, T495, T496, T470, T471, T472, T453, T497))
U5_gaaaaaaa(T452, T453, T454, T468, T469, T498, T499, T459, T460, T461, T462, T463, T470, T465, T471, T472, balance55A_out_gaaaaaaaaaga(T452, T468, T469, T493, T494, T495, T496, T470, T471, T472, T453, T497)) → U6_gaaaaaaa(T452, T453, T454, T468, T469, T498, T499, T459, T460, T461, T462, T463, T470, T465, T471, T472, balance55B_in_gaaaaaaa(T454, T493, T494, T498, T499, T495, T496, T497))
U6_gaaaaaaa(T452, T453, T454, T468, T469, T498, T499, T459, T460, T461, T462, T463, T470, T465, T471, T472, balance55B_out_gaaaaaaa(T454, T493, T494, T498, T499, T495, T496, T497)) → balance55B_out_gaaaaaaa(tree(T452, T453, T454), T468, T469, T498, T499, .(','(tree(T459, T460, T461), -(T462, T463)), T470), .(','(T459, -(T462, .(T460, T465))), .(','(T461, -(T465, T463)), T471)), T472)
U12_ga(T20, T21, T22, T28, T29, T31, balance55B_out_gaaaaaaa(T22, T50, T51, T48, T49, T52, T53, T54)) → balanceD_out_ga(tree(T20, T21, T22), tree(T28, T29, T31))
Infinitary Constructor Rewriting Termination of PiTRS implies Termination of Prolog
balanceD_in_ga(nil, nil) → balanceD_out_ga(nil, nil)
balanceD_in_ga(tree(T20, T21, T22), tree(T28, T29, T31)) → U10_ga(T20, T21, T22, T28, T29, T31, balance55C_in_gaaaaaaaaaaaaga(T20, X120, X121, X115, X116, X117, X118, T28, T27, T29, T30, T31, T26, T21, X119))
balance55C_in_gaaaaaaaaaaaaga(nil, X219, .(','(nil, -(X221, X221)), X222), X221, X222, .(','(T103, -(.(T109, T110), .(T105, T106))), .(','(T107, -(T106, [])), T108)), T108, T103, .(T109, T110), T105, T106, T107, T108, T109, T110) → balance55C_out_gaaaaaaaaaaaaga(nil, X219, .(','(nil, -(X221, X221)), X222), X221, X222, .(','(T103, -(.(T109, T110), .(T105, T106))), .(','(T107, -(T106, [])), T108)), T108, T103, .(T109, T110), T105, T106, T107, T108, T109, T110)
balance55C_in_gaaaaaaaaaaaaga(tree(T139, T140, T141), X303, X304, X305, X306, X307, X308, tree(T157, T158, T160), T154, T161, T156, T155, .(','(T157, -(T154, .(T158, T159))), .(','(T160, -(T159, .(T161, T156))), T153)), T152, X309) → U7_gaaaaaaaaaaaaga(T139, T140, T141, X303, X304, X305, X306, X307, X308, T157, T158, T160, T154, T161, T156, T155, T159, T153, T152, X309, balance55A_in_gaaaaaaaaaga(T139, X303, X304, X298, X299, X300, X301, .(','(T155, -(T156, [])), .(','(T157, -(T154, .(T158, T159))), .(','(T160, -(T159, .(T161, T156))), T153))), T153, T154, T140, X302))
balance55A_in_gaaaaaaaaaga(nil, T267, .(','(nil, -(T269, T269)), T270), T269, T270, T271, T272, T271, T272, .(T274, T275), T274, T275) → balance55A_out_gaaaaaaaaaga(nil, T267, .(','(nil, -(T269, T269)), T270), T269, T270, T271, T272, T271, T272, .(T274, T275), T274, T275)
balance55A_in_gaaaaaaaaaga(tree(T306, T307, T308), T321, T322, X477, X478, X479, X480, .(','(tree(T311, T312, T313), -(T314, T315)), T323), .(','(T311, -(T314, .(T312, T317))), .(','(T313, -(T317, T315)), T324)), T325, T320, X481) → U1_gaaaaaaaaaga(T306, T307, T308, T321, T322, X477, X478, X479, X480, T311, T312, T313, T314, T315, T323, T317, T324, T325, T320, X481, balance55A_in_gaaaaaaaaaga(T306, T321, T322, X472, X473, X474, X475, T323, T324, T325, T307, X476))
balance55A_in_gaaaaaaaaaga(tree(T306, T307, T308), T321, T322, X477, X478, X479, X480, .(','(tree(T311, T312, T313), -(T314, T315)), T323), .(','(T311, -(T314, .(T312, T317))), .(','(T313, -(T317, T315)), T324)), T325, T320, X481) → U2_gaaaaaaaaaga(T306, T307, T308, T321, T322, X477, X478, X479, X480, T311, T312, T313, T314, T315, T323, T317, T324, T325, T320, X481, balance55A_in_gaaaaaaaaaga(T306, T321, T322, T344, T345, T346, T347, T323, T324, T325, T307, T348))
U2_gaaaaaaaaaga(T306, T307, T308, T321, T322, X477, X478, X479, X480, T311, T312, T313, T314, T315, T323, T317, T324, T325, T320, X481, balance55A_out_gaaaaaaaaaga(T306, T321, T322, T344, T345, T346, T347, T323, T324, T325, T307, T348)) → U3_gaaaaaaaaaga(T306, T307, T308, T321, T322, X477, X478, X479, X480, T311, T312, T313, T314, T315, T323, T317, T324, T325, T320, X481, balance55A_in_gaaaaaaaaaga(T308, T344, T345, X477, X478, X479, X480, T346, T347, T348, T320, X481))
U3_gaaaaaaaaaga(T306, T307, T308, T321, T322, X477, X478, X479, X480, T311, T312, T313, T314, T315, T323, T317, T324, T325, T320, X481, balance55A_out_gaaaaaaaaaga(T308, T344, T345, X477, X478, X479, X480, T346, T347, T348, T320, X481)) → balance55A_out_gaaaaaaaaaga(tree(T306, T307, T308), T321, T322, X477, X478, X479, X480, .(','(tree(T311, T312, T313), -(T314, T315)), T323), .(','(T311, -(T314, .(T312, T317))), .(','(T313, -(T317, T315)), T324)), T325, T320, X481)
U1_gaaaaaaaaaga(T306, T307, T308, T321, T322, X477, X478, X479, X480, T311, T312, T313, T314, T315, T323, T317, T324, T325, T320, X481, balance55A_out_gaaaaaaaaaga(T306, T321, T322, X472, X473, X474, X475, T323, T324, T325, T307, X476)) → balance55A_out_gaaaaaaaaaga(tree(T306, T307, T308), T321, T322, X477, X478, X479, X480, .(','(tree(T311, T312, T313), -(T314, T315)), T323), .(','(T311, -(T314, .(T312, T317))), .(','(T313, -(T317, T315)), T324)), T325, T320, X481)
U7_gaaaaaaaaaaaaga(T139, T140, T141, X303, X304, X305, X306, X307, X308, T157, T158, T160, T154, T161, T156, T155, T159, T153, T152, X309, balance55A_out_gaaaaaaaaaga(T139, X303, X304, X298, X299, X300, X301, .(','(T155, -(T156, [])), .(','(T157, -(T154, .(T158, T159))), .(','(T160, -(T159, .(T161, T156))), T153))), T153, T154, T140, X302)) → balance55C_out_gaaaaaaaaaaaaga(tree(T139, T140, T141), X303, X304, X305, X306, X307, X308, tree(T157, T158, T160), T154, T161, T156, T155, .(','(T157, -(T154, .(T158, T159))), .(','(T160, -(T159, .(T161, T156))), T153)), T152, X309)
balance55C_in_gaaaaaaaaaaaaga(tree(T139, T140, T141), T184, T185, X305, X306, X307, X308, tree(T157, T158, T160), T154, T161, T156, T155, .(','(T157, -(T154, .(T158, T159))), .(','(T160, -(T159, .(T161, T156))), T153)), T152, X309) → U8_gaaaaaaaaaaaaga(T139, T140, T141, T184, T185, X305, X306, X307, X308, T157, T158, T160, T154, T161, T156, T155, T159, T153, T152, X309, balance55A_in_gaaaaaaaaaga(T139, T184, T185, T186, T187, T188, T189, .(','(T155, -(T156, [])), .(','(T157, -(T154, .(T158, T159))), .(','(T160, -(T159, .(T161, T156))), T153))), T153, T154, T140, T190))
U8_gaaaaaaaaaaaaga(T139, T140, T141, T184, T185, X305, X306, X307, X308, T157, T158, T160, T154, T161, T156, T155, T159, T153, T152, X309, balance55A_out_gaaaaaaaaaga(T139, T184, T185, T186, T187, T188, T189, .(','(T155, -(T156, [])), .(','(T157, -(T154, .(T158, T159))), .(','(T160, -(T159, .(T161, T156))), T153))), T153, T154, T140, T190)) → U9_gaaaaaaaaaaaaga(T139, T140, T141, T184, T185, X305, X306, X307, X308, T157, T158, T160, T154, T161, T156, T155, T159, T153, T152, X309, balance55A_in_gaaaaaaaaaga(T141, T186, T187, X305, X306, X307, X308, T188, T189, T190, T152, X309))
U9_gaaaaaaaaaaaaga(T139, T140, T141, T184, T185, X305, X306, X307, X308, T157, T158, T160, T154, T161, T156, T155, T159, T153, T152, X309, balance55A_out_gaaaaaaaaaga(T141, T186, T187, X305, X306, X307, X308, T188, T189, T190, T152, X309)) → balance55C_out_gaaaaaaaaaaaaga(tree(T139, T140, T141), T184, T185, X305, X306, X307, X308, tree(T157, T158, T160), T154, T161, T156, T155, .(','(T157, -(T154, .(T158, T159))), .(','(T160, -(T159, .(T161, T156))), T153)), T152, X309)
U10_ga(T20, T21, T22, T28, T29, T31, balance55C_out_gaaaaaaaaaaaaga(T20, X120, X121, X115, X116, X117, X118, T28, T27, T29, T30, T31, T26, T21, X119)) → balanceD_out_ga(tree(T20, T21, T22), tree(T28, T29, T31))
balanceD_in_ga(tree(T20, T21, T22), tree(T28, T29, T31)) → U11_ga(T20, T21, T22, T28, T29, T31, balance55C_in_gaaaaaaaaaaaaga(T20, T48, T49, T50, T51, T52, T53, T28, T27, T29, T30, T31, T26, T21, T54))
U11_ga(T20, T21, T22, T28, T29, T31, balance55C_out_gaaaaaaaaaaaaga(T20, T48, T49, T50, T51, T52, T53, T28, T27, T29, T30, T31, T26, T21, T54)) → U12_ga(T20, T21, T22, T28, T29, T31, balance55B_in_gaaaaaaa(T22, T50, T51, T48, T49, T52, T53, T54))
balance55B_in_gaaaaaaa(nil, T415, [], T417, T418, .(','(nil, -(T417, T417)), T418), [], []) → balance55B_out_gaaaaaaa(nil, T415, [], T417, T418, .(','(nil, -(T417, T417)), T418), [], [])
balance55B_in_gaaaaaaa(tree(T452, T453, T454), T468, T469, T474, T473, .(','(tree(T459, T460, T461), -(T462, T463)), T470), .(','(T459, -(T462, .(T460, T465))), .(','(T461, -(T465, T463)), T471)), T472) → U4_gaaaaaaa(T452, T453, T454, T468, T469, T474, T473, T459, T460, T461, T462, T463, T470, T465, T471, T472, balance55A_in_gaaaaaaaaaga(T452, T468, T469, X618, X619, X620, X621, T470, T471, T472, T453, X622))
U4_gaaaaaaa(T452, T453, T454, T468, T469, T474, T473, T459, T460, T461, T462, T463, T470, T465, T471, T472, balance55A_out_gaaaaaaaaaga(T452, T468, T469, X618, X619, X620, X621, T470, T471, T472, T453, X622)) → balance55B_out_gaaaaaaa(tree(T452, T453, T454), T468, T469, T474, T473, .(','(tree(T459, T460, T461), -(T462, T463)), T470), .(','(T459, -(T462, .(T460, T465))), .(','(T461, -(T465, T463)), T471)), T472)
balance55B_in_gaaaaaaa(tree(T452, T453, T454), T468, T469, T498, T499, .(','(tree(T459, T460, T461), -(T462, T463)), T470), .(','(T459, -(T462, .(T460, T465))), .(','(T461, -(T465, T463)), T471)), T472) → U5_gaaaaaaa(T452, T453, T454, T468, T469, T498, T499, T459, T460, T461, T462, T463, T470, T465, T471, T472, balance55A_in_gaaaaaaaaaga(T452, T468, T469, T493, T494, T495, T496, T470, T471, T472, T453, T497))
U5_gaaaaaaa(T452, T453, T454, T468, T469, T498, T499, T459, T460, T461, T462, T463, T470, T465, T471, T472, balance55A_out_gaaaaaaaaaga(T452, T468, T469, T493, T494, T495, T496, T470, T471, T472, T453, T497)) → U6_gaaaaaaa(T452, T453, T454, T468, T469, T498, T499, T459, T460, T461, T462, T463, T470, T465, T471, T472, balance55B_in_gaaaaaaa(T454, T493, T494, T498, T499, T495, T496, T497))
U6_gaaaaaaa(T452, T453, T454, T468, T469, T498, T499, T459, T460, T461, T462, T463, T470, T465, T471, T472, balance55B_out_gaaaaaaa(T454, T493, T494, T498, T499, T495, T496, T497)) → balance55B_out_gaaaaaaa(tree(T452, T453, T454), T468, T469, T498, T499, .(','(tree(T459, T460, T461), -(T462, T463)), T470), .(','(T459, -(T462, .(T460, T465))), .(','(T461, -(T465, T463)), T471)), T472)
U12_ga(T20, T21, T22, T28, T29, T31, balance55B_out_gaaaaaaa(T22, T50, T51, T48, T49, T52, T53, T54)) → balanceD_out_ga(tree(T20, T21, T22), tree(T28, T29, T31))
BALANCED_IN_GA(tree(T20, T21, T22), tree(T28, T29, T31)) → U10_GA(T20, T21, T22, T28, T29, T31, balance55C_in_gaaaaaaaaaaaaga(T20, X120, X121, X115, X116, X117, X118, T28, T27, T29, T30, T31, T26, T21, X119))
BALANCED_IN_GA(tree(T20, T21, T22), tree(T28, T29, T31)) → BALANCE55C_IN_GAAAAAAAAAAAAGA(T20, X120, X121, X115, X116, X117, X118, T28, T27, T29, T30, T31, T26, T21, X119)
BALANCE55C_IN_GAAAAAAAAAAAAGA(tree(T139, T140, T141), X303, X304, X305, X306, X307, X308, tree(T157, T158, T160), T154, T161, T156, T155, .(','(T157, -(T154, .(T158, T159))), .(','(T160, -(T159, .(T161, T156))), T153)), T152, X309) → U7_GAAAAAAAAAAAAGA(T139, T140, T141, X303, X304, X305, X306, X307, X308, T157, T158, T160, T154, T161, T156, T155, T159, T153, T152, X309, balance55A_in_gaaaaaaaaaga(T139, X303, X304, X298, X299, X300, X301, .(','(T155, -(T156, [])), .(','(T157, -(T154, .(T158, T159))), .(','(T160, -(T159, .(T161, T156))), T153))), T153, T154, T140, X302))
BALANCE55C_IN_GAAAAAAAAAAAAGA(tree(T139, T140, T141), X303, X304, X305, X306, X307, X308, tree(T157, T158, T160), T154, T161, T156, T155, .(','(T157, -(T154, .(T158, T159))), .(','(T160, -(T159, .(T161, T156))), T153)), T152, X309) → BALANCE55A_IN_GAAAAAAAAAGA(T139, X303, X304, X298, X299, X300, X301, .(','(T155, -(T156, [])), .(','(T157, -(T154, .(T158, T159))), .(','(T160, -(T159, .(T161, T156))), T153))), T153, T154, T140, X302)
BALANCE55A_IN_GAAAAAAAAAGA(tree(T306, T307, T308), T321, T322, X477, X478, X479, X480, .(','(tree(T311, T312, T313), -(T314, T315)), T323), .(','(T311, -(T314, .(T312, T317))), .(','(T313, -(T317, T315)), T324)), T325, T320, X481) → U1_GAAAAAAAAAGA(T306, T307, T308, T321, T322, X477, X478, X479, X480, T311, T312, T313, T314, T315, T323, T317, T324, T325, T320, X481, balance55A_in_gaaaaaaaaaga(T306, T321, T322, X472, X473, X474, X475, T323, T324, T325, T307, X476))
BALANCE55A_IN_GAAAAAAAAAGA(tree(T306, T307, T308), T321, T322, X477, X478, X479, X480, .(','(tree(T311, T312, T313), -(T314, T315)), T323), .(','(T311, -(T314, .(T312, T317))), .(','(T313, -(T317, T315)), T324)), T325, T320, X481) → BALANCE55A_IN_GAAAAAAAAAGA(T306, T321, T322, X472, X473, X474, X475, T323, T324, T325, T307, X476)
BALANCE55A_IN_GAAAAAAAAAGA(tree(T306, T307, T308), T321, T322, X477, X478, X479, X480, .(','(tree(T311, T312, T313), -(T314, T315)), T323), .(','(T311, -(T314, .(T312, T317))), .(','(T313, -(T317, T315)), T324)), T325, T320, X481) → U2_GAAAAAAAAAGA(T306, T307, T308, T321, T322, X477, X478, X479, X480, T311, T312, T313, T314, T315, T323, T317, T324, T325, T320, X481, balance55A_in_gaaaaaaaaaga(T306, T321, T322, T344, T345, T346, T347, T323, T324, T325, T307, T348))
U2_GAAAAAAAAAGA(T306, T307, T308, T321, T322, X477, X478, X479, X480, T311, T312, T313, T314, T315, T323, T317, T324, T325, T320, X481, balance55A_out_gaaaaaaaaaga(T306, T321, T322, T344, T345, T346, T347, T323, T324, T325, T307, T348)) → U3_GAAAAAAAAAGA(T306, T307, T308, T321, T322, X477, X478, X479, X480, T311, T312, T313, T314, T315, T323, T317, T324, T325, T320, X481, balance55A_in_gaaaaaaaaaga(T308, T344, T345, X477, X478, X479, X480, T346, T347, T348, T320, X481))
U2_GAAAAAAAAAGA(T306, T307, T308, T321, T322, X477, X478, X479, X480, T311, T312, T313, T314, T315, T323, T317, T324, T325, T320, X481, balance55A_out_gaaaaaaaaaga(T306, T321, T322, T344, T345, T346, T347, T323, T324, T325, T307, T348)) → BALANCE55A_IN_GAAAAAAAAAGA(T308, T344, T345, X477, X478, X479, X480, T346, T347, T348, T320, X481)
BALANCE55C_IN_GAAAAAAAAAAAAGA(tree(T139, T140, T141), T184, T185, X305, X306, X307, X308, tree(T157, T158, T160), T154, T161, T156, T155, .(','(T157, -(T154, .(T158, T159))), .(','(T160, -(T159, .(T161, T156))), T153)), T152, X309) → U8_GAAAAAAAAAAAAGA(T139, T140, T141, T184, T185, X305, X306, X307, X308, T157, T158, T160, T154, T161, T156, T155, T159, T153, T152, X309, balance55A_in_gaaaaaaaaaga(T139, T184, T185, T186, T187, T188, T189, .(','(T155, -(T156, [])), .(','(T157, -(T154, .(T158, T159))), .(','(T160, -(T159, .(T161, T156))), T153))), T153, T154, T140, T190))
U8_GAAAAAAAAAAAAGA(T139, T140, T141, T184, T185, X305, X306, X307, X308, T157, T158, T160, T154, T161, T156, T155, T159, T153, T152, X309, balance55A_out_gaaaaaaaaaga(T139, T184, T185, T186, T187, T188, T189, .(','(T155, -(T156, [])), .(','(T157, -(T154, .(T158, T159))), .(','(T160, -(T159, .(T161, T156))), T153))), T153, T154, T140, T190)) → U9_GAAAAAAAAAAAAGA(T139, T140, T141, T184, T185, X305, X306, X307, X308, T157, T158, T160, T154, T161, T156, T155, T159, T153, T152, X309, balance55A_in_gaaaaaaaaaga(T141, T186, T187, X305, X306, X307, X308, T188, T189, T190, T152, X309))
U8_GAAAAAAAAAAAAGA(T139, T140, T141, T184, T185, X305, X306, X307, X308, T157, T158, T160, T154, T161, T156, T155, T159, T153, T152, X309, balance55A_out_gaaaaaaaaaga(T139, T184, T185, T186, T187, T188, T189, .(','(T155, -(T156, [])), .(','(T157, -(T154, .(T158, T159))), .(','(T160, -(T159, .(T161, T156))), T153))), T153, T154, T140, T190)) → BALANCE55A_IN_GAAAAAAAAAGA(T141, T186, T187, X305, X306, X307, X308, T188, T189, T190, T152, X309)
BALANCED_IN_GA(tree(T20, T21, T22), tree(T28, T29, T31)) → U11_GA(T20, T21, T22, T28, T29, T31, balance55C_in_gaaaaaaaaaaaaga(T20, T48, T49, T50, T51, T52, T53, T28, T27, T29, T30, T31, T26, T21, T54))
U11_GA(T20, T21, T22, T28, T29, T31, balance55C_out_gaaaaaaaaaaaaga(T20, T48, T49, T50, T51, T52, T53, T28, T27, T29, T30, T31, T26, T21, T54)) → U12_GA(T20, T21, T22, T28, T29, T31, balance55B_in_gaaaaaaa(T22, T50, T51, T48, T49, T52, T53, T54))
U11_GA(T20, T21, T22, T28, T29, T31, balance55C_out_gaaaaaaaaaaaaga(T20, T48, T49, T50, T51, T52, T53, T28, T27, T29, T30, T31, T26, T21, T54)) → BALANCE55B_IN_GAAAAAAA(T22, T50, T51, T48, T49, T52, T53, T54)
BALANCE55B_IN_GAAAAAAA(tree(T452, T453, T454), T468, T469, T474, T473, .(','(tree(T459, T460, T461), -(T462, T463)), T470), .(','(T459, -(T462, .(T460, T465))), .(','(T461, -(T465, T463)), T471)), T472) → U4_GAAAAAAA(T452, T453, T454, T468, T469, T474, T473, T459, T460, T461, T462, T463, T470, T465, T471, T472, balance55A_in_gaaaaaaaaaga(T452, T468, T469, X618, X619, X620, X621, T470, T471, T472, T453, X622))
BALANCE55B_IN_GAAAAAAA(tree(T452, T453, T454), T468, T469, T474, T473, .(','(tree(T459, T460, T461), -(T462, T463)), T470), .(','(T459, -(T462, .(T460, T465))), .(','(T461, -(T465, T463)), T471)), T472) → BALANCE55A_IN_GAAAAAAAAAGA(T452, T468, T469, X618, X619, X620, X621, T470, T471, T472, T453, X622)
BALANCE55B_IN_GAAAAAAA(tree(T452, T453, T454), T468, T469, T498, T499, .(','(tree(T459, T460, T461), -(T462, T463)), T470), .(','(T459, -(T462, .(T460, T465))), .(','(T461, -(T465, T463)), T471)), T472) → U5_GAAAAAAA(T452, T453, T454, T468, T469, T498, T499, T459, T460, T461, T462, T463, T470, T465, T471, T472, balance55A_in_gaaaaaaaaaga(T452, T468, T469, T493, T494, T495, T496, T470, T471, T472, T453, T497))
U5_GAAAAAAA(T452, T453, T454, T468, T469, T498, T499, T459, T460, T461, T462, T463, T470, T465, T471, T472, balance55A_out_gaaaaaaaaaga(T452, T468, T469, T493, T494, T495, T496, T470, T471, T472, T453, T497)) → U6_GAAAAAAA(T452, T453, T454, T468, T469, T498, T499, T459, T460, T461, T462, T463, T470, T465, T471, T472, balance55B_in_gaaaaaaa(T454, T493, T494, T498, T499, T495, T496, T497))
U5_GAAAAAAA(T452, T453, T454, T468, T469, T498, T499, T459, T460, T461, T462, T463, T470, T465, T471, T472, balance55A_out_gaaaaaaaaaga(T452, T468, T469, T493, T494, T495, T496, T470, T471, T472, T453, T497)) → BALANCE55B_IN_GAAAAAAA(T454, T493, T494, T498, T499, T495, T496, T497)
balanceD_in_ga(nil, nil) → balanceD_out_ga(nil, nil)
balanceD_in_ga(tree(T20, T21, T22), tree(T28, T29, T31)) → U10_ga(T20, T21, T22, T28, T29, T31, balance55C_in_gaaaaaaaaaaaaga(T20, X120, X121, X115, X116, X117, X118, T28, T27, T29, T30, T31, T26, T21, X119))
balance55C_in_gaaaaaaaaaaaaga(nil, X219, .(','(nil, -(X221, X221)), X222), X221, X222, .(','(T103, -(.(T109, T110), .(T105, T106))), .(','(T107, -(T106, [])), T108)), T108, T103, .(T109, T110), T105, T106, T107, T108, T109, T110) → balance55C_out_gaaaaaaaaaaaaga(nil, X219, .(','(nil, -(X221, X221)), X222), X221, X222, .(','(T103, -(.(T109, T110), .(T105, T106))), .(','(T107, -(T106, [])), T108)), T108, T103, .(T109, T110), T105, T106, T107, T108, T109, T110)
balance55C_in_gaaaaaaaaaaaaga(tree(T139, T140, T141), X303, X304, X305, X306, X307, X308, tree(T157, T158, T160), T154, T161, T156, T155, .(','(T157, -(T154, .(T158, T159))), .(','(T160, -(T159, .(T161, T156))), T153)), T152, X309) → U7_gaaaaaaaaaaaaga(T139, T140, T141, X303, X304, X305, X306, X307, X308, T157, T158, T160, T154, T161, T156, T155, T159, T153, T152, X309, balance55A_in_gaaaaaaaaaga(T139, X303, X304, X298, X299, X300, X301, .(','(T155, -(T156, [])), .(','(T157, -(T154, .(T158, T159))), .(','(T160, -(T159, .(T161, T156))), T153))), T153, T154, T140, X302))
balance55A_in_gaaaaaaaaaga(nil, T267, .(','(nil, -(T269, T269)), T270), T269, T270, T271, T272, T271, T272, .(T274, T275), T274, T275) → balance55A_out_gaaaaaaaaaga(nil, T267, .(','(nil, -(T269, T269)), T270), T269, T270, T271, T272, T271, T272, .(T274, T275), T274, T275)
balance55A_in_gaaaaaaaaaga(tree(T306, T307, T308), T321, T322, X477, X478, X479, X480, .(','(tree(T311, T312, T313), -(T314, T315)), T323), .(','(T311, -(T314, .(T312, T317))), .(','(T313, -(T317, T315)), T324)), T325, T320, X481) → U1_gaaaaaaaaaga(T306, T307, T308, T321, T322, X477, X478, X479, X480, T311, T312, T313, T314, T315, T323, T317, T324, T325, T320, X481, balance55A_in_gaaaaaaaaaga(T306, T321, T322, X472, X473, X474, X475, T323, T324, T325, T307, X476))
balance55A_in_gaaaaaaaaaga(tree(T306, T307, T308), T321, T322, X477, X478, X479, X480, .(','(tree(T311, T312, T313), -(T314, T315)), T323), .(','(T311, -(T314, .(T312, T317))), .(','(T313, -(T317, T315)), T324)), T325, T320, X481) → U2_gaaaaaaaaaga(T306, T307, T308, T321, T322, X477, X478, X479, X480, T311, T312, T313, T314, T315, T323, T317, T324, T325, T320, X481, balance55A_in_gaaaaaaaaaga(T306, T321, T322, T344, T345, T346, T347, T323, T324, T325, T307, T348))
U2_gaaaaaaaaaga(T306, T307, T308, T321, T322, X477, X478, X479, X480, T311, T312, T313, T314, T315, T323, T317, T324, T325, T320, X481, balance55A_out_gaaaaaaaaaga(T306, T321, T322, T344, T345, T346, T347, T323, T324, T325, T307, T348)) → U3_gaaaaaaaaaga(T306, T307, T308, T321, T322, X477, X478, X479, X480, T311, T312, T313, T314, T315, T323, T317, T324, T325, T320, X481, balance55A_in_gaaaaaaaaaga(T308, T344, T345, X477, X478, X479, X480, T346, T347, T348, T320, X481))
U3_gaaaaaaaaaga(T306, T307, T308, T321, T322, X477, X478, X479, X480, T311, T312, T313, T314, T315, T323, T317, T324, T325, T320, X481, balance55A_out_gaaaaaaaaaga(T308, T344, T345, X477, X478, X479, X480, T346, T347, T348, T320, X481)) → balance55A_out_gaaaaaaaaaga(tree(T306, T307, T308), T321, T322, X477, X478, X479, X480, .(','(tree(T311, T312, T313), -(T314, T315)), T323), .(','(T311, -(T314, .(T312, T317))), .(','(T313, -(T317, T315)), T324)), T325, T320, X481)
U1_gaaaaaaaaaga(T306, T307, T308, T321, T322, X477, X478, X479, X480, T311, T312, T313, T314, T315, T323, T317, T324, T325, T320, X481, balance55A_out_gaaaaaaaaaga(T306, T321, T322, X472, X473, X474, X475, T323, T324, T325, T307, X476)) → balance55A_out_gaaaaaaaaaga(tree(T306, T307, T308), T321, T322, X477, X478, X479, X480, .(','(tree(T311, T312, T313), -(T314, T315)), T323), .(','(T311, -(T314, .(T312, T317))), .(','(T313, -(T317, T315)), T324)), T325, T320, X481)
U7_gaaaaaaaaaaaaga(T139, T140, T141, X303, X304, X305, X306, X307, X308, T157, T158, T160, T154, T161, T156, T155, T159, T153, T152, X309, balance55A_out_gaaaaaaaaaga(T139, X303, X304, X298, X299, X300, X301, .(','(T155, -(T156, [])), .(','(T157, -(T154, .(T158, T159))), .(','(T160, -(T159, .(T161, T156))), T153))), T153, T154, T140, X302)) → balance55C_out_gaaaaaaaaaaaaga(tree(T139, T140, T141), X303, X304, X305, X306, X307, X308, tree(T157, T158, T160), T154, T161, T156, T155, .(','(T157, -(T154, .(T158, T159))), .(','(T160, -(T159, .(T161, T156))), T153)), T152, X309)
balance55C_in_gaaaaaaaaaaaaga(tree(T139, T140, T141), T184, T185, X305, X306, X307, X308, tree(T157, T158, T160), T154, T161, T156, T155, .(','(T157, -(T154, .(T158, T159))), .(','(T160, -(T159, .(T161, T156))), T153)), T152, X309) → U8_gaaaaaaaaaaaaga(T139, T140, T141, T184, T185, X305, X306, X307, X308, T157, T158, T160, T154, T161, T156, T155, T159, T153, T152, X309, balance55A_in_gaaaaaaaaaga(T139, T184, T185, T186, T187, T188, T189, .(','(T155, -(T156, [])), .(','(T157, -(T154, .(T158, T159))), .(','(T160, -(T159, .(T161, T156))), T153))), T153, T154, T140, T190))
U8_gaaaaaaaaaaaaga(T139, T140, T141, T184, T185, X305, X306, X307, X308, T157, T158, T160, T154, T161, T156, T155, T159, T153, T152, X309, balance55A_out_gaaaaaaaaaga(T139, T184, T185, T186, T187, T188, T189, .(','(T155, -(T156, [])), .(','(T157, -(T154, .(T158, T159))), .(','(T160, -(T159, .(T161, T156))), T153))), T153, T154, T140, T190)) → U9_gaaaaaaaaaaaaga(T139, T140, T141, T184, T185, X305, X306, X307, X308, T157, T158, T160, T154, T161, T156, T155, T159, T153, T152, X309, balance55A_in_gaaaaaaaaaga(T141, T186, T187, X305, X306, X307, X308, T188, T189, T190, T152, X309))
U9_gaaaaaaaaaaaaga(T139, T140, T141, T184, T185, X305, X306, X307, X308, T157, T158, T160, T154, T161, T156, T155, T159, T153, T152, X309, balance55A_out_gaaaaaaaaaga(T141, T186, T187, X305, X306, X307, X308, T188, T189, T190, T152, X309)) → balance55C_out_gaaaaaaaaaaaaga(tree(T139, T140, T141), T184, T185, X305, X306, X307, X308, tree(T157, T158, T160), T154, T161, T156, T155, .(','(T157, -(T154, .(T158, T159))), .(','(T160, -(T159, .(T161, T156))), T153)), T152, X309)
U10_ga(T20, T21, T22, T28, T29, T31, balance55C_out_gaaaaaaaaaaaaga(T20, X120, X121, X115, X116, X117, X118, T28, T27, T29, T30, T31, T26, T21, X119)) → balanceD_out_ga(tree(T20, T21, T22), tree(T28, T29, T31))
balanceD_in_ga(tree(T20, T21, T22), tree(T28, T29, T31)) → U11_ga(T20, T21, T22, T28, T29, T31, balance55C_in_gaaaaaaaaaaaaga(T20, T48, T49, T50, T51, T52, T53, T28, T27, T29, T30, T31, T26, T21, T54))
U11_ga(T20, T21, T22, T28, T29, T31, balance55C_out_gaaaaaaaaaaaaga(T20, T48, T49, T50, T51, T52, T53, T28, T27, T29, T30, T31, T26, T21, T54)) → U12_ga(T20, T21, T22, T28, T29, T31, balance55B_in_gaaaaaaa(T22, T50, T51, T48, T49, T52, T53, T54))
balance55B_in_gaaaaaaa(nil, T415, [], T417, T418, .(','(nil, -(T417, T417)), T418), [], []) → balance55B_out_gaaaaaaa(nil, T415, [], T417, T418, .(','(nil, -(T417, T417)), T418), [], [])
balance55B_in_gaaaaaaa(tree(T452, T453, T454), T468, T469, T474, T473, .(','(tree(T459, T460, T461), -(T462, T463)), T470), .(','(T459, -(T462, .(T460, T465))), .(','(T461, -(T465, T463)), T471)), T472) → U4_gaaaaaaa(T452, T453, T454, T468, T469, T474, T473, T459, T460, T461, T462, T463, T470, T465, T471, T472, balance55A_in_gaaaaaaaaaga(T452, T468, T469, X618, X619, X620, X621, T470, T471, T472, T453, X622))
U4_gaaaaaaa(T452, T453, T454, T468, T469, T474, T473, T459, T460, T461, T462, T463, T470, T465, T471, T472, balance55A_out_gaaaaaaaaaga(T452, T468, T469, X618, X619, X620, X621, T470, T471, T472, T453, X622)) → balance55B_out_gaaaaaaa(tree(T452, T453, T454), T468, T469, T474, T473, .(','(tree(T459, T460, T461), -(T462, T463)), T470), .(','(T459, -(T462, .(T460, T465))), .(','(T461, -(T465, T463)), T471)), T472)
balance55B_in_gaaaaaaa(tree(T452, T453, T454), T468, T469, T498, T499, .(','(tree(T459, T460, T461), -(T462, T463)), T470), .(','(T459, -(T462, .(T460, T465))), .(','(T461, -(T465, T463)), T471)), T472) → U5_gaaaaaaa(T452, T453, T454, T468, T469, T498, T499, T459, T460, T461, T462, T463, T470, T465, T471, T472, balance55A_in_gaaaaaaaaaga(T452, T468, T469, T493, T494, T495, T496, T470, T471, T472, T453, T497))
U5_gaaaaaaa(T452, T453, T454, T468, T469, T498, T499, T459, T460, T461, T462, T463, T470, T465, T471, T472, balance55A_out_gaaaaaaaaaga(T452, T468, T469, T493, T494, T495, T496, T470, T471, T472, T453, T497)) → U6_gaaaaaaa(T452, T453, T454, T468, T469, T498, T499, T459, T460, T461, T462, T463, T470, T465, T471, T472, balance55B_in_gaaaaaaa(T454, T493, T494, T498, T499, T495, T496, T497))
U6_gaaaaaaa(T452, T453, T454, T468, T469, T498, T499, T459, T460, T461, T462, T463, T470, T465, T471, T472, balance55B_out_gaaaaaaa(T454, T493, T494, T498, T499, T495, T496, T497)) → balance55B_out_gaaaaaaa(tree(T452, T453, T454), T468, T469, T498, T499, .(','(tree(T459, T460, T461), -(T462, T463)), T470), .(','(T459, -(T462, .(T460, T465))), .(','(T461, -(T465, T463)), T471)), T472)
U12_ga(T20, T21, T22, T28, T29, T31, balance55B_out_gaaaaaaa(T22, T50, T51, T48, T49, T52, T53, T54)) → balanceD_out_ga(tree(T20, T21, T22), tree(T28, T29, T31))
BALANCED_IN_GA(tree(T20, T21, T22), tree(T28, T29, T31)) → U10_GA(T20, T21, T22, T28, T29, T31, balance55C_in_gaaaaaaaaaaaaga(T20, X120, X121, X115, X116, X117, X118, T28, T27, T29, T30, T31, T26, T21, X119))
BALANCED_IN_GA(tree(T20, T21, T22), tree(T28, T29, T31)) → BALANCE55C_IN_GAAAAAAAAAAAAGA(T20, X120, X121, X115, X116, X117, X118, T28, T27, T29, T30, T31, T26, T21, X119)
BALANCE55C_IN_GAAAAAAAAAAAAGA(tree(T139, T140, T141), X303, X304, X305, X306, X307, X308, tree(T157, T158, T160), T154, T161, T156, T155, .(','(T157, -(T154, .(T158, T159))), .(','(T160, -(T159, .(T161, T156))), T153)), T152, X309) → U7_GAAAAAAAAAAAAGA(T139, T140, T141, X303, X304, X305, X306, X307, X308, T157, T158, T160, T154, T161, T156, T155, T159, T153, T152, X309, balance55A_in_gaaaaaaaaaga(T139, X303, X304, X298, X299, X300, X301, .(','(T155, -(T156, [])), .(','(T157, -(T154, .(T158, T159))), .(','(T160, -(T159, .(T161, T156))), T153))), T153, T154, T140, X302))
BALANCE55C_IN_GAAAAAAAAAAAAGA(tree(T139, T140, T141), X303, X304, X305, X306, X307, X308, tree(T157, T158, T160), T154, T161, T156, T155, .(','(T157, -(T154, .(T158, T159))), .(','(T160, -(T159, .(T161, T156))), T153)), T152, X309) → BALANCE55A_IN_GAAAAAAAAAGA(T139, X303, X304, X298, X299, X300, X301, .(','(T155, -(T156, [])), .(','(T157, -(T154, .(T158, T159))), .(','(T160, -(T159, .(T161, T156))), T153))), T153, T154, T140, X302)
BALANCE55A_IN_GAAAAAAAAAGA(tree(T306, T307, T308), T321, T322, X477, X478, X479, X480, .(','(tree(T311, T312, T313), -(T314, T315)), T323), .(','(T311, -(T314, .(T312, T317))), .(','(T313, -(T317, T315)), T324)), T325, T320, X481) → U1_GAAAAAAAAAGA(T306, T307, T308, T321, T322, X477, X478, X479, X480, T311, T312, T313, T314, T315, T323, T317, T324, T325, T320, X481, balance55A_in_gaaaaaaaaaga(T306, T321, T322, X472, X473, X474, X475, T323, T324, T325, T307, X476))
BALANCE55A_IN_GAAAAAAAAAGA(tree(T306, T307, T308), T321, T322, X477, X478, X479, X480, .(','(tree(T311, T312, T313), -(T314, T315)), T323), .(','(T311, -(T314, .(T312, T317))), .(','(T313, -(T317, T315)), T324)), T325, T320, X481) → BALANCE55A_IN_GAAAAAAAAAGA(T306, T321, T322, X472, X473, X474, X475, T323, T324, T325, T307, X476)
BALANCE55A_IN_GAAAAAAAAAGA(tree(T306, T307, T308), T321, T322, X477, X478, X479, X480, .(','(tree(T311, T312, T313), -(T314, T315)), T323), .(','(T311, -(T314, .(T312, T317))), .(','(T313, -(T317, T315)), T324)), T325, T320, X481) → U2_GAAAAAAAAAGA(T306, T307, T308, T321, T322, X477, X478, X479, X480, T311, T312, T313, T314, T315, T323, T317, T324, T325, T320, X481, balance55A_in_gaaaaaaaaaga(T306, T321, T322, T344, T345, T346, T347, T323, T324, T325, T307, T348))
U2_GAAAAAAAAAGA(T306, T307, T308, T321, T322, X477, X478, X479, X480, T311, T312, T313, T314, T315, T323, T317, T324, T325, T320, X481, balance55A_out_gaaaaaaaaaga(T306, T321, T322, T344, T345, T346, T347, T323, T324, T325, T307, T348)) → U3_GAAAAAAAAAGA(T306, T307, T308, T321, T322, X477, X478, X479, X480, T311, T312, T313, T314, T315, T323, T317, T324, T325, T320, X481, balance55A_in_gaaaaaaaaaga(T308, T344, T345, X477, X478, X479, X480, T346, T347, T348, T320, X481))
U2_GAAAAAAAAAGA(T306, T307, T308, T321, T322, X477, X478, X479, X480, T311, T312, T313, T314, T315, T323, T317, T324, T325, T320, X481, balance55A_out_gaaaaaaaaaga(T306, T321, T322, T344, T345, T346, T347, T323, T324, T325, T307, T348)) → BALANCE55A_IN_GAAAAAAAAAGA(T308, T344, T345, X477, X478, X479, X480, T346, T347, T348, T320, X481)
BALANCE55C_IN_GAAAAAAAAAAAAGA(tree(T139, T140, T141), T184, T185, X305, X306, X307, X308, tree(T157, T158, T160), T154, T161, T156, T155, .(','(T157, -(T154, .(T158, T159))), .(','(T160, -(T159, .(T161, T156))), T153)), T152, X309) → U8_GAAAAAAAAAAAAGA(T139, T140, T141, T184, T185, X305, X306, X307, X308, T157, T158, T160, T154, T161, T156, T155, T159, T153, T152, X309, balance55A_in_gaaaaaaaaaga(T139, T184, T185, T186, T187, T188, T189, .(','(T155, -(T156, [])), .(','(T157, -(T154, .(T158, T159))), .(','(T160, -(T159, .(T161, T156))), T153))), T153, T154, T140, T190))
U8_GAAAAAAAAAAAAGA(T139, T140, T141, T184, T185, X305, X306, X307, X308, T157, T158, T160, T154, T161, T156, T155, T159, T153, T152, X309, balance55A_out_gaaaaaaaaaga(T139, T184, T185, T186, T187, T188, T189, .(','(T155, -(T156, [])), .(','(T157, -(T154, .(T158, T159))), .(','(T160, -(T159, .(T161, T156))), T153))), T153, T154, T140, T190)) → U9_GAAAAAAAAAAAAGA(T139, T140, T141, T184, T185, X305, X306, X307, X308, T157, T158, T160, T154, T161, T156, T155, T159, T153, T152, X309, balance55A_in_gaaaaaaaaaga(T141, T186, T187, X305, X306, X307, X308, T188, T189, T190, T152, X309))
U8_GAAAAAAAAAAAAGA(T139, T140, T141, T184, T185, X305, X306, X307, X308, T157, T158, T160, T154, T161, T156, T155, T159, T153, T152, X309, balance55A_out_gaaaaaaaaaga(T139, T184, T185, T186, T187, T188, T189, .(','(T155, -(T156, [])), .(','(T157, -(T154, .(T158, T159))), .(','(T160, -(T159, .(T161, T156))), T153))), T153, T154, T140, T190)) → BALANCE55A_IN_GAAAAAAAAAGA(T141, T186, T187, X305, X306, X307, X308, T188, T189, T190, T152, X309)
BALANCED_IN_GA(tree(T20, T21, T22), tree(T28, T29, T31)) → U11_GA(T20, T21, T22, T28, T29, T31, balance55C_in_gaaaaaaaaaaaaga(T20, T48, T49, T50, T51, T52, T53, T28, T27, T29, T30, T31, T26, T21, T54))
U11_GA(T20, T21, T22, T28, T29, T31, balance55C_out_gaaaaaaaaaaaaga(T20, T48, T49, T50, T51, T52, T53, T28, T27, T29, T30, T31, T26, T21, T54)) → U12_GA(T20, T21, T22, T28, T29, T31, balance55B_in_gaaaaaaa(T22, T50, T51, T48, T49, T52, T53, T54))
U11_GA(T20, T21, T22, T28, T29, T31, balance55C_out_gaaaaaaaaaaaaga(T20, T48, T49, T50, T51, T52, T53, T28, T27, T29, T30, T31, T26, T21, T54)) → BALANCE55B_IN_GAAAAAAA(T22, T50, T51, T48, T49, T52, T53, T54)
BALANCE55B_IN_GAAAAAAA(tree(T452, T453, T454), T468, T469, T474, T473, .(','(tree(T459, T460, T461), -(T462, T463)), T470), .(','(T459, -(T462, .(T460, T465))), .(','(T461, -(T465, T463)), T471)), T472) → U4_GAAAAAAA(T452, T453, T454, T468, T469, T474, T473, T459, T460, T461, T462, T463, T470, T465, T471, T472, balance55A_in_gaaaaaaaaaga(T452, T468, T469, X618, X619, X620, X621, T470, T471, T472, T453, X622))
BALANCE55B_IN_GAAAAAAA(tree(T452, T453, T454), T468, T469, T474, T473, .(','(tree(T459, T460, T461), -(T462, T463)), T470), .(','(T459, -(T462, .(T460, T465))), .(','(T461, -(T465, T463)), T471)), T472) → BALANCE55A_IN_GAAAAAAAAAGA(T452, T468, T469, X618, X619, X620, X621, T470, T471, T472, T453, X622)
BALANCE55B_IN_GAAAAAAA(tree(T452, T453, T454), T468, T469, T498, T499, .(','(tree(T459, T460, T461), -(T462, T463)), T470), .(','(T459, -(T462, .(T460, T465))), .(','(T461, -(T465, T463)), T471)), T472) → U5_GAAAAAAA(T452, T453, T454, T468, T469, T498, T499, T459, T460, T461, T462, T463, T470, T465, T471, T472, balance55A_in_gaaaaaaaaaga(T452, T468, T469, T493, T494, T495, T496, T470, T471, T472, T453, T497))
U5_GAAAAAAA(T452, T453, T454, T468, T469, T498, T499, T459, T460, T461, T462, T463, T470, T465, T471, T472, balance55A_out_gaaaaaaaaaga(T452, T468, T469, T493, T494, T495, T496, T470, T471, T472, T453, T497)) → U6_GAAAAAAA(T452, T453, T454, T468, T469, T498, T499, T459, T460, T461, T462, T463, T470, T465, T471, T472, balance55B_in_gaaaaaaa(T454, T493, T494, T498, T499, T495, T496, T497))
U5_GAAAAAAA(T452, T453, T454, T468, T469, T498, T499, T459, T460, T461, T462, T463, T470, T465, T471, T472, balance55A_out_gaaaaaaaaaga(T452, T468, T469, T493, T494, T495, T496, T470, T471, T472, T453, T497)) → BALANCE55B_IN_GAAAAAAA(T454, T493, T494, T498, T499, T495, T496, T497)
balanceD_in_ga(nil, nil) → balanceD_out_ga(nil, nil)
balanceD_in_ga(tree(T20, T21, T22), tree(T28, T29, T31)) → U10_ga(T20, T21, T22, T28, T29, T31, balance55C_in_gaaaaaaaaaaaaga(T20, X120, X121, X115, X116, X117, X118, T28, T27, T29, T30, T31, T26, T21, X119))
balance55C_in_gaaaaaaaaaaaaga(nil, X219, .(','(nil, -(X221, X221)), X222), X221, X222, .(','(T103, -(.(T109, T110), .(T105, T106))), .(','(T107, -(T106, [])), T108)), T108, T103, .(T109, T110), T105, T106, T107, T108, T109, T110) → balance55C_out_gaaaaaaaaaaaaga(nil, X219, .(','(nil, -(X221, X221)), X222), X221, X222, .(','(T103, -(.(T109, T110), .(T105, T106))), .(','(T107, -(T106, [])), T108)), T108, T103, .(T109, T110), T105, T106, T107, T108, T109, T110)
balance55C_in_gaaaaaaaaaaaaga(tree(T139, T140, T141), X303, X304, X305, X306, X307, X308, tree(T157, T158, T160), T154, T161, T156, T155, .(','(T157, -(T154, .(T158, T159))), .(','(T160, -(T159, .(T161, T156))), T153)), T152, X309) → U7_gaaaaaaaaaaaaga(T139, T140, T141, X303, X304, X305, X306, X307, X308, T157, T158, T160, T154, T161, T156, T155, T159, T153, T152, X309, balance55A_in_gaaaaaaaaaga(T139, X303, X304, X298, X299, X300, X301, .(','(T155, -(T156, [])), .(','(T157, -(T154, .(T158, T159))), .(','(T160, -(T159, .(T161, T156))), T153))), T153, T154, T140, X302))
balance55A_in_gaaaaaaaaaga(nil, T267, .(','(nil, -(T269, T269)), T270), T269, T270, T271, T272, T271, T272, .(T274, T275), T274, T275) → balance55A_out_gaaaaaaaaaga(nil, T267, .(','(nil, -(T269, T269)), T270), T269, T270, T271, T272, T271, T272, .(T274, T275), T274, T275)
balance55A_in_gaaaaaaaaaga(tree(T306, T307, T308), T321, T322, X477, X478, X479, X480, .(','(tree(T311, T312, T313), -(T314, T315)), T323), .(','(T311, -(T314, .(T312, T317))), .(','(T313, -(T317, T315)), T324)), T325, T320, X481) → U1_gaaaaaaaaaga(T306, T307, T308, T321, T322, X477, X478, X479, X480, T311, T312, T313, T314, T315, T323, T317, T324, T325, T320, X481, balance55A_in_gaaaaaaaaaga(T306, T321, T322, X472, X473, X474, X475, T323, T324, T325, T307, X476))
balance55A_in_gaaaaaaaaaga(tree(T306, T307, T308), T321, T322, X477, X478, X479, X480, .(','(tree(T311, T312, T313), -(T314, T315)), T323), .(','(T311, -(T314, .(T312, T317))), .(','(T313, -(T317, T315)), T324)), T325, T320, X481) → U2_gaaaaaaaaaga(T306, T307, T308, T321, T322, X477, X478, X479, X480, T311, T312, T313, T314, T315, T323, T317, T324, T325, T320, X481, balance55A_in_gaaaaaaaaaga(T306, T321, T322, T344, T345, T346, T347, T323, T324, T325, T307, T348))
U2_gaaaaaaaaaga(T306, T307, T308, T321, T322, X477, X478, X479, X480, T311, T312, T313, T314, T315, T323, T317, T324, T325, T320, X481, balance55A_out_gaaaaaaaaaga(T306, T321, T322, T344, T345, T346, T347, T323, T324, T325, T307, T348)) → U3_gaaaaaaaaaga(T306, T307, T308, T321, T322, X477, X478, X479, X480, T311, T312, T313, T314, T315, T323, T317, T324, T325, T320, X481, balance55A_in_gaaaaaaaaaga(T308, T344, T345, X477, X478, X479, X480, T346, T347, T348, T320, X481))
U3_gaaaaaaaaaga(T306, T307, T308, T321, T322, X477, X478, X479, X480, T311, T312, T313, T314, T315, T323, T317, T324, T325, T320, X481, balance55A_out_gaaaaaaaaaga(T308, T344, T345, X477, X478, X479, X480, T346, T347, T348, T320, X481)) → balance55A_out_gaaaaaaaaaga(tree(T306, T307, T308), T321, T322, X477, X478, X479, X480, .(','(tree(T311, T312, T313), -(T314, T315)), T323), .(','(T311, -(T314, .(T312, T317))), .(','(T313, -(T317, T315)), T324)), T325, T320, X481)
U1_gaaaaaaaaaga(T306, T307, T308, T321, T322, X477, X478, X479, X480, T311, T312, T313, T314, T315, T323, T317, T324, T325, T320, X481, balance55A_out_gaaaaaaaaaga(T306, T321, T322, X472, X473, X474, X475, T323, T324, T325, T307, X476)) → balance55A_out_gaaaaaaaaaga(tree(T306, T307, T308), T321, T322, X477, X478, X479, X480, .(','(tree(T311, T312, T313), -(T314, T315)), T323), .(','(T311, -(T314, .(T312, T317))), .(','(T313, -(T317, T315)), T324)), T325, T320, X481)
U7_gaaaaaaaaaaaaga(T139, T140, T141, X303, X304, X305, X306, X307, X308, T157, T158, T160, T154, T161, T156, T155, T159, T153, T152, X309, balance55A_out_gaaaaaaaaaga(T139, X303, X304, X298, X299, X300, X301, .(','(T155, -(T156, [])), .(','(T157, -(T154, .(T158, T159))), .(','(T160, -(T159, .(T161, T156))), T153))), T153, T154, T140, X302)) → balance55C_out_gaaaaaaaaaaaaga(tree(T139, T140, T141), X303, X304, X305, X306, X307, X308, tree(T157, T158, T160), T154, T161, T156, T155, .(','(T157, -(T154, .(T158, T159))), .(','(T160, -(T159, .(T161, T156))), T153)), T152, X309)
balance55C_in_gaaaaaaaaaaaaga(tree(T139, T140, T141), T184, T185, X305, X306, X307, X308, tree(T157, T158, T160), T154, T161, T156, T155, .(','(T157, -(T154, .(T158, T159))), .(','(T160, -(T159, .(T161, T156))), T153)), T152, X309) → U8_gaaaaaaaaaaaaga(T139, T140, T141, T184, T185, X305, X306, X307, X308, T157, T158, T160, T154, T161, T156, T155, T159, T153, T152, X309, balance55A_in_gaaaaaaaaaga(T139, T184, T185, T186, T187, T188, T189, .(','(T155, -(T156, [])), .(','(T157, -(T154, .(T158, T159))), .(','(T160, -(T159, .(T161, T156))), T153))), T153, T154, T140, T190))
U8_gaaaaaaaaaaaaga(T139, T140, T141, T184, T185, X305, X306, X307, X308, T157, T158, T160, T154, T161, T156, T155, T159, T153, T152, X309, balance55A_out_gaaaaaaaaaga(T139, T184, T185, T186, T187, T188, T189, .(','(T155, -(T156, [])), .(','(T157, -(T154, .(T158, T159))), .(','(T160, -(T159, .(T161, T156))), T153))), T153, T154, T140, T190)) → U9_gaaaaaaaaaaaaga(T139, T140, T141, T184, T185, X305, X306, X307, X308, T157, T158, T160, T154, T161, T156, T155, T159, T153, T152, X309, balance55A_in_gaaaaaaaaaga(T141, T186, T187, X305, X306, X307, X308, T188, T189, T190, T152, X309))
U9_gaaaaaaaaaaaaga(T139, T140, T141, T184, T185, X305, X306, X307, X308, T157, T158, T160, T154, T161, T156, T155, T159, T153, T152, X309, balance55A_out_gaaaaaaaaaga(T141, T186, T187, X305, X306, X307, X308, T188, T189, T190, T152, X309)) → balance55C_out_gaaaaaaaaaaaaga(tree(T139, T140, T141), T184, T185, X305, X306, X307, X308, tree(T157, T158, T160), T154, T161, T156, T155, .(','(T157, -(T154, .(T158, T159))), .(','(T160, -(T159, .(T161, T156))), T153)), T152, X309)
U10_ga(T20, T21, T22, T28, T29, T31, balance55C_out_gaaaaaaaaaaaaga(T20, X120, X121, X115, X116, X117, X118, T28, T27, T29, T30, T31, T26, T21, X119)) → balanceD_out_ga(tree(T20, T21, T22), tree(T28, T29, T31))
balanceD_in_ga(tree(T20, T21, T22), tree(T28, T29, T31)) → U11_ga(T20, T21, T22, T28, T29, T31, balance55C_in_gaaaaaaaaaaaaga(T20, T48, T49, T50, T51, T52, T53, T28, T27, T29, T30, T31, T26, T21, T54))
U11_ga(T20, T21, T22, T28, T29, T31, balance55C_out_gaaaaaaaaaaaaga(T20, T48, T49, T50, T51, T52, T53, T28, T27, T29, T30, T31, T26, T21, T54)) → U12_ga(T20, T21, T22, T28, T29, T31, balance55B_in_gaaaaaaa(T22, T50, T51, T48, T49, T52, T53, T54))
balance55B_in_gaaaaaaa(nil, T415, [], T417, T418, .(','(nil, -(T417, T417)), T418), [], []) → balance55B_out_gaaaaaaa(nil, T415, [], T417, T418, .(','(nil, -(T417, T417)), T418), [], [])
balance55B_in_gaaaaaaa(tree(T452, T453, T454), T468, T469, T474, T473, .(','(tree(T459, T460, T461), -(T462, T463)), T470), .(','(T459, -(T462, .(T460, T465))), .(','(T461, -(T465, T463)), T471)), T472) → U4_gaaaaaaa(T452, T453, T454, T468, T469, T474, T473, T459, T460, T461, T462, T463, T470, T465, T471, T472, balance55A_in_gaaaaaaaaaga(T452, T468, T469, X618, X619, X620, X621, T470, T471, T472, T453, X622))
U4_gaaaaaaa(T452, T453, T454, T468, T469, T474, T473, T459, T460, T461, T462, T463, T470, T465, T471, T472, balance55A_out_gaaaaaaaaaga(T452, T468, T469, X618, X619, X620, X621, T470, T471, T472, T453, X622)) → balance55B_out_gaaaaaaa(tree(T452, T453, T454), T468, T469, T474, T473, .(','(tree(T459, T460, T461), -(T462, T463)), T470), .(','(T459, -(T462, .(T460, T465))), .(','(T461, -(T465, T463)), T471)), T472)
balance55B_in_gaaaaaaa(tree(T452, T453, T454), T468, T469, T498, T499, .(','(tree(T459, T460, T461), -(T462, T463)), T470), .(','(T459, -(T462, .(T460, T465))), .(','(T461, -(T465, T463)), T471)), T472) → U5_gaaaaaaa(T452, T453, T454, T468, T469, T498, T499, T459, T460, T461, T462, T463, T470, T465, T471, T472, balance55A_in_gaaaaaaaaaga(T452, T468, T469, T493, T494, T495, T496, T470, T471, T472, T453, T497))
U5_gaaaaaaa(T452, T453, T454, T468, T469, T498, T499, T459, T460, T461, T462, T463, T470, T465, T471, T472, balance55A_out_gaaaaaaaaaga(T452, T468, T469, T493, T494, T495, T496, T470, T471, T472, T453, T497)) → U6_gaaaaaaa(T452, T453, T454, T468, T469, T498, T499, T459, T460, T461, T462, T463, T470, T465, T471, T472, balance55B_in_gaaaaaaa(T454, T493, T494, T498, T499, T495, T496, T497))
U6_gaaaaaaa(T452, T453, T454, T468, T469, T498, T499, T459, T460, T461, T462, T463, T470, T465, T471, T472, balance55B_out_gaaaaaaa(T454, T493, T494, T498, T499, T495, T496, T497)) → balance55B_out_gaaaaaaa(tree(T452, T453, T454), T468, T469, T498, T499, .(','(tree(T459, T460, T461), -(T462, T463)), T470), .(','(T459, -(T462, .(T460, T465))), .(','(T461, -(T465, T463)), T471)), T472)
U12_ga(T20, T21, T22, T28, T29, T31, balance55B_out_gaaaaaaa(T22, T50, T51, T48, T49, T52, T53, T54)) → balanceD_out_ga(tree(T20, T21, T22), tree(T28, T29, T31))
BALANCE55A_IN_GAAAAAAAAAGA(tree(T306, T307, T308), T321, T322, X477, X478, X479, X480, .(','(tree(T311, T312, T313), -(T314, T315)), T323), .(','(T311, -(T314, .(T312, T317))), .(','(T313, -(T317, T315)), T324)), T325, T320, X481) → U2_GAAAAAAAAAGA(T306, T307, T308, T321, T322, X477, X478, X479, X480, T311, T312, T313, T314, T315, T323, T317, T324, T325, T320, X481, balance55A_in_gaaaaaaaaaga(T306, T321, T322, T344, T345, T346, T347, T323, T324, T325, T307, T348))
U2_GAAAAAAAAAGA(T306, T307, T308, T321, T322, X477, X478, X479, X480, T311, T312, T313, T314, T315, T323, T317, T324, T325, T320, X481, balance55A_out_gaaaaaaaaaga(T306, T321, T322, T344, T345, T346, T347, T323, T324, T325, T307, T348)) → BALANCE55A_IN_GAAAAAAAAAGA(T308, T344, T345, X477, X478, X479, X480, T346, T347, T348, T320, X481)
BALANCE55A_IN_GAAAAAAAAAGA(tree(T306, T307, T308), T321, T322, X477, X478, X479, X480, .(','(tree(T311, T312, T313), -(T314, T315)), T323), .(','(T311, -(T314, .(T312, T317))), .(','(T313, -(T317, T315)), T324)), T325, T320, X481) → BALANCE55A_IN_GAAAAAAAAAGA(T306, T321, T322, X472, X473, X474, X475, T323, T324, T325, T307, X476)
balanceD_in_ga(nil, nil) → balanceD_out_ga(nil, nil)
balanceD_in_ga(tree(T20, T21, T22), tree(T28, T29, T31)) → U10_ga(T20, T21, T22, T28, T29, T31, balance55C_in_gaaaaaaaaaaaaga(T20, X120, X121, X115, X116, X117, X118, T28, T27, T29, T30, T31, T26, T21, X119))
balance55C_in_gaaaaaaaaaaaaga(nil, X219, .(','(nil, -(X221, X221)), X222), X221, X222, .(','(T103, -(.(T109, T110), .(T105, T106))), .(','(T107, -(T106, [])), T108)), T108, T103, .(T109, T110), T105, T106, T107, T108, T109, T110) → balance55C_out_gaaaaaaaaaaaaga(nil, X219, .(','(nil, -(X221, X221)), X222), X221, X222, .(','(T103, -(.(T109, T110), .(T105, T106))), .(','(T107, -(T106, [])), T108)), T108, T103, .(T109, T110), T105, T106, T107, T108, T109, T110)
balance55C_in_gaaaaaaaaaaaaga(tree(T139, T140, T141), X303, X304, X305, X306, X307, X308, tree(T157, T158, T160), T154, T161, T156, T155, .(','(T157, -(T154, .(T158, T159))), .(','(T160, -(T159, .(T161, T156))), T153)), T152, X309) → U7_gaaaaaaaaaaaaga(T139, T140, T141, X303, X304, X305, X306, X307, X308, T157, T158, T160, T154, T161, T156, T155, T159, T153, T152, X309, balance55A_in_gaaaaaaaaaga(T139, X303, X304, X298, X299, X300, X301, .(','(T155, -(T156, [])), .(','(T157, -(T154, .(T158, T159))), .(','(T160, -(T159, .(T161, T156))), T153))), T153, T154, T140, X302))
balance55A_in_gaaaaaaaaaga(nil, T267, .(','(nil, -(T269, T269)), T270), T269, T270, T271, T272, T271, T272, .(T274, T275), T274, T275) → balance55A_out_gaaaaaaaaaga(nil, T267, .(','(nil, -(T269, T269)), T270), T269, T270, T271, T272, T271, T272, .(T274, T275), T274, T275)
balance55A_in_gaaaaaaaaaga(tree(T306, T307, T308), T321, T322, X477, X478, X479, X480, .(','(tree(T311, T312, T313), -(T314, T315)), T323), .(','(T311, -(T314, .(T312, T317))), .(','(T313, -(T317, T315)), T324)), T325, T320, X481) → U1_gaaaaaaaaaga(T306, T307, T308, T321, T322, X477, X478, X479, X480, T311, T312, T313, T314, T315, T323, T317, T324, T325, T320, X481, balance55A_in_gaaaaaaaaaga(T306, T321, T322, X472, X473, X474, X475, T323, T324, T325, T307, X476))
balance55A_in_gaaaaaaaaaga(tree(T306, T307, T308), T321, T322, X477, X478, X479, X480, .(','(tree(T311, T312, T313), -(T314, T315)), T323), .(','(T311, -(T314, .(T312, T317))), .(','(T313, -(T317, T315)), T324)), T325, T320, X481) → U2_gaaaaaaaaaga(T306, T307, T308, T321, T322, X477, X478, X479, X480, T311, T312, T313, T314, T315, T323, T317, T324, T325, T320, X481, balance55A_in_gaaaaaaaaaga(T306, T321, T322, T344, T345, T346, T347, T323, T324, T325, T307, T348))
U2_gaaaaaaaaaga(T306, T307, T308, T321, T322, X477, X478, X479, X480, T311, T312, T313, T314, T315, T323, T317, T324, T325, T320, X481, balance55A_out_gaaaaaaaaaga(T306, T321, T322, T344, T345, T346, T347, T323, T324, T325, T307, T348)) → U3_gaaaaaaaaaga(T306, T307, T308, T321, T322, X477, X478, X479, X480, T311, T312, T313, T314, T315, T323, T317, T324, T325, T320, X481, balance55A_in_gaaaaaaaaaga(T308, T344, T345, X477, X478, X479, X480, T346, T347, T348, T320, X481))
U3_gaaaaaaaaaga(T306, T307, T308, T321, T322, X477, X478, X479, X480, T311, T312, T313, T314, T315, T323, T317, T324, T325, T320, X481, balance55A_out_gaaaaaaaaaga(T308, T344, T345, X477, X478, X479, X480, T346, T347, T348, T320, X481)) → balance55A_out_gaaaaaaaaaga(tree(T306, T307, T308), T321, T322, X477, X478, X479, X480, .(','(tree(T311, T312, T313), -(T314, T315)), T323), .(','(T311, -(T314, .(T312, T317))), .(','(T313, -(T317, T315)), T324)), T325, T320, X481)
U1_gaaaaaaaaaga(T306, T307, T308, T321, T322, X477, X478, X479, X480, T311, T312, T313, T314, T315, T323, T317, T324, T325, T320, X481, balance55A_out_gaaaaaaaaaga(T306, T321, T322, X472, X473, X474, X475, T323, T324, T325, T307, X476)) → balance55A_out_gaaaaaaaaaga(tree(T306, T307, T308), T321, T322, X477, X478, X479, X480, .(','(tree(T311, T312, T313), -(T314, T315)), T323), .(','(T311, -(T314, .(T312, T317))), .(','(T313, -(T317, T315)), T324)), T325, T320, X481)
U7_gaaaaaaaaaaaaga(T139, T140, T141, X303, X304, X305, X306, X307, X308, T157, T158, T160, T154, T161, T156, T155, T159, T153, T152, X309, balance55A_out_gaaaaaaaaaga(T139, X303, X304, X298, X299, X300, X301, .(','(T155, -(T156, [])), .(','(T157, -(T154, .(T158, T159))), .(','(T160, -(T159, .(T161, T156))), T153))), T153, T154, T140, X302)) → balance55C_out_gaaaaaaaaaaaaga(tree(T139, T140, T141), X303, X304, X305, X306, X307, X308, tree(T157, T158, T160), T154, T161, T156, T155, .(','(T157, -(T154, .(T158, T159))), .(','(T160, -(T159, .(T161, T156))), T153)), T152, X309)
balance55C_in_gaaaaaaaaaaaaga(tree(T139, T140, T141), T184, T185, X305, X306, X307, X308, tree(T157, T158, T160), T154, T161, T156, T155, .(','(T157, -(T154, .(T158, T159))), .(','(T160, -(T159, .(T161, T156))), T153)), T152, X309) → U8_gaaaaaaaaaaaaga(T139, T140, T141, T184, T185, X305, X306, X307, X308, T157, T158, T160, T154, T161, T156, T155, T159, T153, T152, X309, balance55A_in_gaaaaaaaaaga(T139, T184, T185, T186, T187, T188, T189, .(','(T155, -(T156, [])), .(','(T157, -(T154, .(T158, T159))), .(','(T160, -(T159, .(T161, T156))), T153))), T153, T154, T140, T190))
U8_gaaaaaaaaaaaaga(T139, T140, T141, T184, T185, X305, X306, X307, X308, T157, T158, T160, T154, T161, T156, T155, T159, T153, T152, X309, balance55A_out_gaaaaaaaaaga(T139, T184, T185, T186, T187, T188, T189, .(','(T155, -(T156, [])), .(','(T157, -(T154, .(T158, T159))), .(','(T160, -(T159, .(T161, T156))), T153))), T153, T154, T140, T190)) → U9_gaaaaaaaaaaaaga(T139, T140, T141, T184, T185, X305, X306, X307, X308, T157, T158, T160, T154, T161, T156, T155, T159, T153, T152, X309, balance55A_in_gaaaaaaaaaga(T141, T186, T187, X305, X306, X307, X308, T188, T189, T190, T152, X309))
U9_gaaaaaaaaaaaaga(T139, T140, T141, T184, T185, X305, X306, X307, X308, T157, T158, T160, T154, T161, T156, T155, T159, T153, T152, X309, balance55A_out_gaaaaaaaaaga(T141, T186, T187, X305, X306, X307, X308, T188, T189, T190, T152, X309)) → balance55C_out_gaaaaaaaaaaaaga(tree(T139, T140, T141), T184, T185, X305, X306, X307, X308, tree(T157, T158, T160), T154, T161, T156, T155, .(','(T157, -(T154, .(T158, T159))), .(','(T160, -(T159, .(T161, T156))), T153)), T152, X309)
U10_ga(T20, T21, T22, T28, T29, T31, balance55C_out_gaaaaaaaaaaaaga(T20, X120, X121, X115, X116, X117, X118, T28, T27, T29, T30, T31, T26, T21, X119)) → balanceD_out_ga(tree(T20, T21, T22), tree(T28, T29, T31))
balanceD_in_ga(tree(T20, T21, T22), tree(T28, T29, T31)) → U11_ga(T20, T21, T22, T28, T29, T31, balance55C_in_gaaaaaaaaaaaaga(T20, T48, T49, T50, T51, T52, T53, T28, T27, T29, T30, T31, T26, T21, T54))
U11_ga(T20, T21, T22, T28, T29, T31, balance55C_out_gaaaaaaaaaaaaga(T20, T48, T49, T50, T51, T52, T53, T28, T27, T29, T30, T31, T26, T21, T54)) → U12_ga(T20, T21, T22, T28, T29, T31, balance55B_in_gaaaaaaa(T22, T50, T51, T48, T49, T52, T53, T54))
balance55B_in_gaaaaaaa(nil, T415, [], T417, T418, .(','(nil, -(T417, T417)), T418), [], []) → balance55B_out_gaaaaaaa(nil, T415, [], T417, T418, .(','(nil, -(T417, T417)), T418), [], [])
balance55B_in_gaaaaaaa(tree(T452, T453, T454), T468, T469, T474, T473, .(','(tree(T459, T460, T461), -(T462, T463)), T470), .(','(T459, -(T462, .(T460, T465))), .(','(T461, -(T465, T463)), T471)), T472) → U4_gaaaaaaa(T452, T453, T454, T468, T469, T474, T473, T459, T460, T461, T462, T463, T470, T465, T471, T472, balance55A_in_gaaaaaaaaaga(T452, T468, T469, X618, X619, X620, X621, T470, T471, T472, T453, X622))
U4_gaaaaaaa(T452, T453, T454, T468, T469, T474, T473, T459, T460, T461, T462, T463, T470, T465, T471, T472, balance55A_out_gaaaaaaaaaga(T452, T468, T469, X618, X619, X620, X621, T470, T471, T472, T453, X622)) → balance55B_out_gaaaaaaa(tree(T452, T453, T454), T468, T469, T474, T473, .(','(tree(T459, T460, T461), -(T462, T463)), T470), .(','(T459, -(T462, .(T460, T465))), .(','(T461, -(T465, T463)), T471)), T472)
balance55B_in_gaaaaaaa(tree(T452, T453, T454), T468, T469, T498, T499, .(','(tree(T459, T460, T461), -(T462, T463)), T470), .(','(T459, -(T462, .(T460, T465))), .(','(T461, -(T465, T463)), T471)), T472) → U5_gaaaaaaa(T452, T453, T454, T468, T469, T498, T499, T459, T460, T461, T462, T463, T470, T465, T471, T472, balance55A_in_gaaaaaaaaaga(T452, T468, T469, T493, T494, T495, T496, T470, T471, T472, T453, T497))
U5_gaaaaaaa(T452, T453, T454, T468, T469, T498, T499, T459, T460, T461, T462, T463, T470, T465, T471, T472, balance55A_out_gaaaaaaaaaga(T452, T468, T469, T493, T494, T495, T496, T470, T471, T472, T453, T497)) → U6_gaaaaaaa(T452, T453, T454, T468, T469, T498, T499, T459, T460, T461, T462, T463, T470, T465, T471, T472, balance55B_in_gaaaaaaa(T454, T493, T494, T498, T499, T495, T496, T497))
U6_gaaaaaaa(T452, T453, T454, T468, T469, T498, T499, T459, T460, T461, T462, T463, T470, T465, T471, T472, balance55B_out_gaaaaaaa(T454, T493, T494, T498, T499, T495, T496, T497)) → balance55B_out_gaaaaaaa(tree(T452, T453, T454), T468, T469, T498, T499, .(','(tree(T459, T460, T461), -(T462, T463)), T470), .(','(T459, -(T462, .(T460, T465))), .(','(T461, -(T465, T463)), T471)), T472)
U12_ga(T20, T21, T22, T28, T29, T31, balance55B_out_gaaaaaaa(T22, T50, T51, T48, T49, T52, T53, T54)) → balanceD_out_ga(tree(T20, T21, T22), tree(T28, T29, T31))
BALANCE55A_IN_GAAAAAAAAAGA(tree(T306, T307, T308), T321, T322, X477, X478, X479, X480, .(','(tree(T311, T312, T313), -(T314, T315)), T323), .(','(T311, -(T314, .(T312, T317))), .(','(T313, -(T317, T315)), T324)), T325, T320, X481) → U2_GAAAAAAAAAGA(T306, T307, T308, T321, T322, X477, X478, X479, X480, T311, T312, T313, T314, T315, T323, T317, T324, T325, T320, X481, balance55A_in_gaaaaaaaaaga(T306, T321, T322, T344, T345, T346, T347, T323, T324, T325, T307, T348))
U2_GAAAAAAAAAGA(T306, T307, T308, T321, T322, X477, X478, X479, X480, T311, T312, T313, T314, T315, T323, T317, T324, T325, T320, X481, balance55A_out_gaaaaaaaaaga(T306, T321, T322, T344, T345, T346, T347, T323, T324, T325, T307, T348)) → BALANCE55A_IN_GAAAAAAAAAGA(T308, T344, T345, X477, X478, X479, X480, T346, T347, T348, T320, X481)
BALANCE55A_IN_GAAAAAAAAAGA(tree(T306, T307, T308), T321, T322, X477, X478, X479, X480, .(','(tree(T311, T312, T313), -(T314, T315)), T323), .(','(T311, -(T314, .(T312, T317))), .(','(T313, -(T317, T315)), T324)), T325, T320, X481) → BALANCE55A_IN_GAAAAAAAAAGA(T306, T321, T322, X472, X473, X474, X475, T323, T324, T325, T307, X476)
balance55A_in_gaaaaaaaaaga(nil, T267, .(','(nil, -(T269, T269)), T270), T269, T270, T271, T272, T271, T272, .(T274, T275), T274, T275) → balance55A_out_gaaaaaaaaaga(nil, T267, .(','(nil, -(T269, T269)), T270), T269, T270, T271, T272, T271, T272, .(T274, T275), T274, T275)
balance55A_in_gaaaaaaaaaga(tree(T306, T307, T308), T321, T322, X477, X478, X479, X480, .(','(tree(T311, T312, T313), -(T314, T315)), T323), .(','(T311, -(T314, .(T312, T317))), .(','(T313, -(T317, T315)), T324)), T325, T320, X481) → U1_gaaaaaaaaaga(T306, T307, T308, T321, T322, X477, X478, X479, X480, T311, T312, T313, T314, T315, T323, T317, T324, T325, T320, X481, balance55A_in_gaaaaaaaaaga(T306, T321, T322, X472, X473, X474, X475, T323, T324, T325, T307, X476))
balance55A_in_gaaaaaaaaaga(tree(T306, T307, T308), T321, T322, X477, X478, X479, X480, .(','(tree(T311, T312, T313), -(T314, T315)), T323), .(','(T311, -(T314, .(T312, T317))), .(','(T313, -(T317, T315)), T324)), T325, T320, X481) → U2_gaaaaaaaaaga(T306, T307, T308, T321, T322, X477, X478, X479, X480, T311, T312, T313, T314, T315, T323, T317, T324, T325, T320, X481, balance55A_in_gaaaaaaaaaga(T306, T321, T322, T344, T345, T346, T347, T323, T324, T325, T307, T348))
U1_gaaaaaaaaaga(T306, T307, T308, T321, T322, X477, X478, X479, X480, T311, T312, T313, T314, T315, T323, T317, T324, T325, T320, X481, balance55A_out_gaaaaaaaaaga(T306, T321, T322, X472, X473, X474, X475, T323, T324, T325, T307, X476)) → balance55A_out_gaaaaaaaaaga(tree(T306, T307, T308), T321, T322, X477, X478, X479, X480, .(','(tree(T311, T312, T313), -(T314, T315)), T323), .(','(T311, -(T314, .(T312, T317))), .(','(T313, -(T317, T315)), T324)), T325, T320, X481)
U2_gaaaaaaaaaga(T306, T307, T308, T321, T322, X477, X478, X479, X480, T311, T312, T313, T314, T315, T323, T317, T324, T325, T320, X481, balance55A_out_gaaaaaaaaaga(T306, T321, T322, T344, T345, T346, T347, T323, T324, T325, T307, T348)) → U3_gaaaaaaaaaga(T306, T307, T308, T321, T322, X477, X478, X479, X480, T311, T312, T313, T314, T315, T323, T317, T324, T325, T320, X481, balance55A_in_gaaaaaaaaaga(T308, T344, T345, X477, X478, X479, X480, T346, T347, T348, T320, X481))
U3_gaaaaaaaaaga(T306, T307, T308, T321, T322, X477, X478, X479, X480, T311, T312, T313, T314, T315, T323, T317, T324, T325, T320, X481, balance55A_out_gaaaaaaaaaga(T308, T344, T345, X477, X478, X479, X480, T346, T347, T348, T320, X481)) → balance55A_out_gaaaaaaaaaga(tree(T306, T307, T308), T321, T322, X477, X478, X479, X480, .(','(tree(T311, T312, T313), -(T314, T315)), T323), .(','(T311, -(T314, .(T312, T317))), .(','(T313, -(T317, T315)), T324)), T325, T320, X481)
BALANCE55A_IN_GAAAAAAAAAGA(tree(T306, T307, T308), T320) → U2_GAAAAAAAAAGA(T308, T320, balance55A_in_gaaaaaaaaaga(T306, T307))
U2_GAAAAAAAAAGA(T308, T320, balance55A_out_gaaaaaaaaaga) → BALANCE55A_IN_GAAAAAAAAAGA(T308, T320)
BALANCE55A_IN_GAAAAAAAAAGA(tree(T306, T307, T308), T320) → BALANCE55A_IN_GAAAAAAAAAGA(T306, T307)
balance55A_in_gaaaaaaaaaga(nil, T274) → balance55A_out_gaaaaaaaaaga
balance55A_in_gaaaaaaaaaga(tree(T306, T307, T308), T320) → U1_gaaaaaaaaaga(balance55A_in_gaaaaaaaaaga(T306, T307))
balance55A_in_gaaaaaaaaaga(tree(T306, T307, T308), T320) → U2_gaaaaaaaaaga(T308, T320, balance55A_in_gaaaaaaaaaga(T306, T307))
U1_gaaaaaaaaaga(balance55A_out_gaaaaaaaaaga) → balance55A_out_gaaaaaaaaaga
U2_gaaaaaaaaaga(T308, T320, balance55A_out_gaaaaaaaaaga) → U3_gaaaaaaaaaga(balance55A_in_gaaaaaaaaaga(T308, T320))
U3_gaaaaaaaaaga(balance55A_out_gaaaaaaaaaga) → balance55A_out_gaaaaaaaaaga
balance55A_in_gaaaaaaaaaga(x0, x1)
U1_gaaaaaaaaaga(x0)
U2_gaaaaaaaaaga(x0, x1, x2)
U3_gaaaaaaaaaga(x0)
From the DPs we obtained the following set of size-change graphs:
BALANCE55B_IN_GAAAAAAA(tree(T452, T453, T454), T468, T469, T498, T499, .(','(tree(T459, T460, T461), -(T462, T463)), T470), .(','(T459, -(T462, .(T460, T465))), .(','(T461, -(T465, T463)), T471)), T472) → U5_GAAAAAAA(T452, T453, T454, T468, T469, T498, T499, T459, T460, T461, T462, T463, T470, T465, T471, T472, balance55A_in_gaaaaaaaaaga(T452, T468, T469, T493, T494, T495, T496, T470, T471, T472, T453, T497))
U5_GAAAAAAA(T452, T453, T454, T468, T469, T498, T499, T459, T460, T461, T462, T463, T470, T465, T471, T472, balance55A_out_gaaaaaaaaaga(T452, T468, T469, T493, T494, T495, T496, T470, T471, T472, T453, T497)) → BALANCE55B_IN_GAAAAAAA(T454, T493, T494, T498, T499, T495, T496, T497)
balanceD_in_ga(nil, nil) → balanceD_out_ga(nil, nil)
balanceD_in_ga(tree(T20, T21, T22), tree(T28, T29, T31)) → U10_ga(T20, T21, T22, T28, T29, T31, balance55C_in_gaaaaaaaaaaaaga(T20, X120, X121, X115, X116, X117, X118, T28, T27, T29, T30, T31, T26, T21, X119))
balance55C_in_gaaaaaaaaaaaaga(nil, X219, .(','(nil, -(X221, X221)), X222), X221, X222, .(','(T103, -(.(T109, T110), .(T105, T106))), .(','(T107, -(T106, [])), T108)), T108, T103, .(T109, T110), T105, T106, T107, T108, T109, T110) → balance55C_out_gaaaaaaaaaaaaga(nil, X219, .(','(nil, -(X221, X221)), X222), X221, X222, .(','(T103, -(.(T109, T110), .(T105, T106))), .(','(T107, -(T106, [])), T108)), T108, T103, .(T109, T110), T105, T106, T107, T108, T109, T110)
balance55C_in_gaaaaaaaaaaaaga(tree(T139, T140, T141), X303, X304, X305, X306, X307, X308, tree(T157, T158, T160), T154, T161, T156, T155, .(','(T157, -(T154, .(T158, T159))), .(','(T160, -(T159, .(T161, T156))), T153)), T152, X309) → U7_gaaaaaaaaaaaaga(T139, T140, T141, X303, X304, X305, X306, X307, X308, T157, T158, T160, T154, T161, T156, T155, T159, T153, T152, X309, balance55A_in_gaaaaaaaaaga(T139, X303, X304, X298, X299, X300, X301, .(','(T155, -(T156, [])), .(','(T157, -(T154, .(T158, T159))), .(','(T160, -(T159, .(T161, T156))), T153))), T153, T154, T140, X302))
balance55A_in_gaaaaaaaaaga(nil, T267, .(','(nil, -(T269, T269)), T270), T269, T270, T271, T272, T271, T272, .(T274, T275), T274, T275) → balance55A_out_gaaaaaaaaaga(nil, T267, .(','(nil, -(T269, T269)), T270), T269, T270, T271, T272, T271, T272, .(T274, T275), T274, T275)
balance55A_in_gaaaaaaaaaga(tree(T306, T307, T308), T321, T322, X477, X478, X479, X480, .(','(tree(T311, T312, T313), -(T314, T315)), T323), .(','(T311, -(T314, .(T312, T317))), .(','(T313, -(T317, T315)), T324)), T325, T320, X481) → U1_gaaaaaaaaaga(T306, T307, T308, T321, T322, X477, X478, X479, X480, T311, T312, T313, T314, T315, T323, T317, T324, T325, T320, X481, balance55A_in_gaaaaaaaaaga(T306, T321, T322, X472, X473, X474, X475, T323, T324, T325, T307, X476))
balance55A_in_gaaaaaaaaaga(tree(T306, T307, T308), T321, T322, X477, X478, X479, X480, .(','(tree(T311, T312, T313), -(T314, T315)), T323), .(','(T311, -(T314, .(T312, T317))), .(','(T313, -(T317, T315)), T324)), T325, T320, X481) → U2_gaaaaaaaaaga(T306, T307, T308, T321, T322, X477, X478, X479, X480, T311, T312, T313, T314, T315, T323, T317, T324, T325, T320, X481, balance55A_in_gaaaaaaaaaga(T306, T321, T322, T344, T345, T346, T347, T323, T324, T325, T307, T348))
U2_gaaaaaaaaaga(T306, T307, T308, T321, T322, X477, X478, X479, X480, T311, T312, T313, T314, T315, T323, T317, T324, T325, T320, X481, balance55A_out_gaaaaaaaaaga(T306, T321, T322, T344, T345, T346, T347, T323, T324, T325, T307, T348)) → U3_gaaaaaaaaaga(T306, T307, T308, T321, T322, X477, X478, X479, X480, T311, T312, T313, T314, T315, T323, T317, T324, T325, T320, X481, balance55A_in_gaaaaaaaaaga(T308, T344, T345, X477, X478, X479, X480, T346, T347, T348, T320, X481))
U3_gaaaaaaaaaga(T306, T307, T308, T321, T322, X477, X478, X479, X480, T311, T312, T313, T314, T315, T323, T317, T324, T325, T320, X481, balance55A_out_gaaaaaaaaaga(T308, T344, T345, X477, X478, X479, X480, T346, T347, T348, T320, X481)) → balance55A_out_gaaaaaaaaaga(tree(T306, T307, T308), T321, T322, X477, X478, X479, X480, .(','(tree(T311, T312, T313), -(T314, T315)), T323), .(','(T311, -(T314, .(T312, T317))), .(','(T313, -(T317, T315)), T324)), T325, T320, X481)
U1_gaaaaaaaaaga(T306, T307, T308, T321, T322, X477, X478, X479, X480, T311, T312, T313, T314, T315, T323, T317, T324, T325, T320, X481, balance55A_out_gaaaaaaaaaga(T306, T321, T322, X472, X473, X474, X475, T323, T324, T325, T307, X476)) → balance55A_out_gaaaaaaaaaga(tree(T306, T307, T308), T321, T322, X477, X478, X479, X480, .(','(tree(T311, T312, T313), -(T314, T315)), T323), .(','(T311, -(T314, .(T312, T317))), .(','(T313, -(T317, T315)), T324)), T325, T320, X481)
U7_gaaaaaaaaaaaaga(T139, T140, T141, X303, X304, X305, X306, X307, X308, T157, T158, T160, T154, T161, T156, T155, T159, T153, T152, X309, balance55A_out_gaaaaaaaaaga(T139, X303, X304, X298, X299, X300, X301, .(','(T155, -(T156, [])), .(','(T157, -(T154, .(T158, T159))), .(','(T160, -(T159, .(T161, T156))), T153))), T153, T154, T140, X302)) → balance55C_out_gaaaaaaaaaaaaga(tree(T139, T140, T141), X303, X304, X305, X306, X307, X308, tree(T157, T158, T160), T154, T161, T156, T155, .(','(T157, -(T154, .(T158, T159))), .(','(T160, -(T159, .(T161, T156))), T153)), T152, X309)
balance55C_in_gaaaaaaaaaaaaga(tree(T139, T140, T141), T184, T185, X305, X306, X307, X308, tree(T157, T158, T160), T154, T161, T156, T155, .(','(T157, -(T154, .(T158, T159))), .(','(T160, -(T159, .(T161, T156))), T153)), T152, X309) → U8_gaaaaaaaaaaaaga(T139, T140, T141, T184, T185, X305, X306, X307, X308, T157, T158, T160, T154, T161, T156, T155, T159, T153, T152, X309, balance55A_in_gaaaaaaaaaga(T139, T184, T185, T186, T187, T188, T189, .(','(T155, -(T156, [])), .(','(T157, -(T154, .(T158, T159))), .(','(T160, -(T159, .(T161, T156))), T153))), T153, T154, T140, T190))
U8_gaaaaaaaaaaaaga(T139, T140, T141, T184, T185, X305, X306, X307, X308, T157, T158, T160, T154, T161, T156, T155, T159, T153, T152, X309, balance55A_out_gaaaaaaaaaga(T139, T184, T185, T186, T187, T188, T189, .(','(T155, -(T156, [])), .(','(T157, -(T154, .(T158, T159))), .(','(T160, -(T159, .(T161, T156))), T153))), T153, T154, T140, T190)) → U9_gaaaaaaaaaaaaga(T139, T140, T141, T184, T185, X305, X306, X307, X308, T157, T158, T160, T154, T161, T156, T155, T159, T153, T152, X309, balance55A_in_gaaaaaaaaaga(T141, T186, T187, X305, X306, X307, X308, T188, T189, T190, T152, X309))
U9_gaaaaaaaaaaaaga(T139, T140, T141, T184, T185, X305, X306, X307, X308, T157, T158, T160, T154, T161, T156, T155, T159, T153, T152, X309, balance55A_out_gaaaaaaaaaga(T141, T186, T187, X305, X306, X307, X308, T188, T189, T190, T152, X309)) → balance55C_out_gaaaaaaaaaaaaga(tree(T139, T140, T141), T184, T185, X305, X306, X307, X308, tree(T157, T158, T160), T154, T161, T156, T155, .(','(T157, -(T154, .(T158, T159))), .(','(T160, -(T159, .(T161, T156))), T153)), T152, X309)
U10_ga(T20, T21, T22, T28, T29, T31, balance55C_out_gaaaaaaaaaaaaga(T20, X120, X121, X115, X116, X117, X118, T28, T27, T29, T30, T31, T26, T21, X119)) → balanceD_out_ga(tree(T20, T21, T22), tree(T28, T29, T31))
balanceD_in_ga(tree(T20, T21, T22), tree(T28, T29, T31)) → U11_ga(T20, T21, T22, T28, T29, T31, balance55C_in_gaaaaaaaaaaaaga(T20, T48, T49, T50, T51, T52, T53, T28, T27, T29, T30, T31, T26, T21, T54))
U11_ga(T20, T21, T22, T28, T29, T31, balance55C_out_gaaaaaaaaaaaaga(T20, T48, T49, T50, T51, T52, T53, T28, T27, T29, T30, T31, T26, T21, T54)) → U12_ga(T20, T21, T22, T28, T29, T31, balance55B_in_gaaaaaaa(T22, T50, T51, T48, T49, T52, T53, T54))
balance55B_in_gaaaaaaa(nil, T415, [], T417, T418, .(','(nil, -(T417, T417)), T418), [], []) → balance55B_out_gaaaaaaa(nil, T415, [], T417, T418, .(','(nil, -(T417, T417)), T418), [], [])
balance55B_in_gaaaaaaa(tree(T452, T453, T454), T468, T469, T474, T473, .(','(tree(T459, T460, T461), -(T462, T463)), T470), .(','(T459, -(T462, .(T460, T465))), .(','(T461, -(T465, T463)), T471)), T472) → U4_gaaaaaaa(T452, T453, T454, T468, T469, T474, T473, T459, T460, T461, T462, T463, T470, T465, T471, T472, balance55A_in_gaaaaaaaaaga(T452, T468, T469, X618, X619, X620, X621, T470, T471, T472, T453, X622))
U4_gaaaaaaa(T452, T453, T454, T468, T469, T474, T473, T459, T460, T461, T462, T463, T470, T465, T471, T472, balance55A_out_gaaaaaaaaaga(T452, T468, T469, X618, X619, X620, X621, T470, T471, T472, T453, X622)) → balance55B_out_gaaaaaaa(tree(T452, T453, T454), T468, T469, T474, T473, .(','(tree(T459, T460, T461), -(T462, T463)), T470), .(','(T459, -(T462, .(T460, T465))), .(','(T461, -(T465, T463)), T471)), T472)
balance55B_in_gaaaaaaa(tree(T452, T453, T454), T468, T469, T498, T499, .(','(tree(T459, T460, T461), -(T462, T463)), T470), .(','(T459, -(T462, .(T460, T465))), .(','(T461, -(T465, T463)), T471)), T472) → U5_gaaaaaaa(T452, T453, T454, T468, T469, T498, T499, T459, T460, T461, T462, T463, T470, T465, T471, T472, balance55A_in_gaaaaaaaaaga(T452, T468, T469, T493, T494, T495, T496, T470, T471, T472, T453, T497))
U5_gaaaaaaa(T452, T453, T454, T468, T469, T498, T499, T459, T460, T461, T462, T463, T470, T465, T471, T472, balance55A_out_gaaaaaaaaaga(T452, T468, T469, T493, T494, T495, T496, T470, T471, T472, T453, T497)) → U6_gaaaaaaa(T452, T453, T454, T468, T469, T498, T499, T459, T460, T461, T462, T463, T470, T465, T471, T472, balance55B_in_gaaaaaaa(T454, T493, T494, T498, T499, T495, T496, T497))
U6_gaaaaaaa(T452, T453, T454, T468, T469, T498, T499, T459, T460, T461, T462, T463, T470, T465, T471, T472, balance55B_out_gaaaaaaa(T454, T493, T494, T498, T499, T495, T496, T497)) → balance55B_out_gaaaaaaa(tree(T452, T453, T454), T468, T469, T498, T499, .(','(tree(T459, T460, T461), -(T462, T463)), T470), .(','(T459, -(T462, .(T460, T465))), .(','(T461, -(T465, T463)), T471)), T472)
U12_ga(T20, T21, T22, T28, T29, T31, balance55B_out_gaaaaaaa(T22, T50, T51, T48, T49, T52, T53, T54)) → balanceD_out_ga(tree(T20, T21, T22), tree(T28, T29, T31))
BALANCE55B_IN_GAAAAAAA(tree(T452, T453, T454), T468, T469, T498, T499, .(','(tree(T459, T460, T461), -(T462, T463)), T470), .(','(T459, -(T462, .(T460, T465))), .(','(T461, -(T465, T463)), T471)), T472) → U5_GAAAAAAA(T452, T453, T454, T468, T469, T498, T499, T459, T460, T461, T462, T463, T470, T465, T471, T472, balance55A_in_gaaaaaaaaaga(T452, T468, T469, T493, T494, T495, T496, T470, T471, T472, T453, T497))
U5_GAAAAAAA(T452, T453, T454, T468, T469, T498, T499, T459, T460, T461, T462, T463, T470, T465, T471, T472, balance55A_out_gaaaaaaaaaga(T452, T468, T469, T493, T494, T495, T496, T470, T471, T472, T453, T497)) → BALANCE55B_IN_GAAAAAAA(T454, T493, T494, T498, T499, T495, T496, T497)
balance55A_in_gaaaaaaaaaga(nil, T267, .(','(nil, -(T269, T269)), T270), T269, T270, T271, T272, T271, T272, .(T274, T275), T274, T275) → balance55A_out_gaaaaaaaaaga(nil, T267, .(','(nil, -(T269, T269)), T270), T269, T270, T271, T272, T271, T272, .(T274, T275), T274, T275)
balance55A_in_gaaaaaaaaaga(tree(T306, T307, T308), T321, T322, X477, X478, X479, X480, .(','(tree(T311, T312, T313), -(T314, T315)), T323), .(','(T311, -(T314, .(T312, T317))), .(','(T313, -(T317, T315)), T324)), T325, T320, X481) → U1_gaaaaaaaaaga(T306, T307, T308, T321, T322, X477, X478, X479, X480, T311, T312, T313, T314, T315, T323, T317, T324, T325, T320, X481, balance55A_in_gaaaaaaaaaga(T306, T321, T322, X472, X473, X474, X475, T323, T324, T325, T307, X476))
balance55A_in_gaaaaaaaaaga(tree(T306, T307, T308), T321, T322, X477, X478, X479, X480, .(','(tree(T311, T312, T313), -(T314, T315)), T323), .(','(T311, -(T314, .(T312, T317))), .(','(T313, -(T317, T315)), T324)), T325, T320, X481) → U2_gaaaaaaaaaga(T306, T307, T308, T321, T322, X477, X478, X479, X480, T311, T312, T313, T314, T315, T323, T317, T324, T325, T320, X481, balance55A_in_gaaaaaaaaaga(T306, T321, T322, T344, T345, T346, T347, T323, T324, T325, T307, T348))
U1_gaaaaaaaaaga(T306, T307, T308, T321, T322, X477, X478, X479, X480, T311, T312, T313, T314, T315, T323, T317, T324, T325, T320, X481, balance55A_out_gaaaaaaaaaga(T306, T321, T322, X472, X473, X474, X475, T323, T324, T325, T307, X476)) → balance55A_out_gaaaaaaaaaga(tree(T306, T307, T308), T321, T322, X477, X478, X479, X480, .(','(tree(T311, T312, T313), -(T314, T315)), T323), .(','(T311, -(T314, .(T312, T317))), .(','(T313, -(T317, T315)), T324)), T325, T320, X481)
U2_gaaaaaaaaaga(T306, T307, T308, T321, T322, X477, X478, X479, X480, T311, T312, T313, T314, T315, T323, T317, T324, T325, T320, X481, balance55A_out_gaaaaaaaaaga(T306, T321, T322, T344, T345, T346, T347, T323, T324, T325, T307, T348)) → U3_gaaaaaaaaaga(T306, T307, T308, T321, T322, X477, X478, X479, X480, T311, T312, T313, T314, T315, T323, T317, T324, T325, T320, X481, balance55A_in_gaaaaaaaaaga(T308, T344, T345, X477, X478, X479, X480, T346, T347, T348, T320, X481))
U3_gaaaaaaaaaga(T306, T307, T308, T321, T322, X477, X478, X479, X480, T311, T312, T313, T314, T315, T323, T317, T324, T325, T320, X481, balance55A_out_gaaaaaaaaaga(T308, T344, T345, X477, X478, X479, X480, T346, T347, T348, T320, X481)) → balance55A_out_gaaaaaaaaaga(tree(T306, T307, T308), T321, T322, X477, X478, X479, X480, .(','(tree(T311, T312, T313), -(T314, T315)), T323), .(','(T311, -(T314, .(T312, T317))), .(','(T313, -(T317, T315)), T324)), T325, T320, X481)
BALANCE55B_IN_GAAAAAAA(tree(T452, T453, T454)) → U5_GAAAAAAA(T454, balance55A_in_gaaaaaaaaaga(T452, T453))
U5_GAAAAAAA(T454, balance55A_out_gaaaaaaaaaga) → BALANCE55B_IN_GAAAAAAA(T454)
balance55A_in_gaaaaaaaaaga(nil, T274) → balance55A_out_gaaaaaaaaaga
balance55A_in_gaaaaaaaaaga(tree(T306, T307, T308), T320) → U1_gaaaaaaaaaga(balance55A_in_gaaaaaaaaaga(T306, T307))
balance55A_in_gaaaaaaaaaga(tree(T306, T307, T308), T320) → U2_gaaaaaaaaaga(T308, T320, balance55A_in_gaaaaaaaaaga(T306, T307))
U1_gaaaaaaaaaga(balance55A_out_gaaaaaaaaaga) → balance55A_out_gaaaaaaaaaga
U2_gaaaaaaaaaga(T308, T320, balance55A_out_gaaaaaaaaaga) → U3_gaaaaaaaaaga(balance55A_in_gaaaaaaaaaga(T308, T320))
U3_gaaaaaaaaaga(balance55A_out_gaaaaaaaaaga) → balance55A_out_gaaaaaaaaaga
balance55A_in_gaaaaaaaaaga(x0, x1)
U1_gaaaaaaaaaga(x0)
U2_gaaaaaaaaaga(x0, x1, x2)
U3_gaaaaaaaaaga(x0)
From the DPs we obtained the following set of size-change graphs: